使用对齐方式对文本和内联数学进行垂直顶部对齐

Question

接下来的MWE问题是健康）状况：与公式不一致：

\documentclass{article}

\usepackage{amsmath}

\begin{document}

    \textbf{Condition}:$\begin{aligned}
    (\exists a \in A) (\exists b \in B)(\forall c \in C)[&F(a,b)=c~\wedge~F(c,d)=a~\wedge~ \\ 
    &a \in X~\wedge~(c \in Y ~\vee~d \in M)]
    \end{aligned}$

\end{document}

Answer 1

只需使用可选参数aligned：

\textbf{Condition}:$\begin{aligned}[t]
    (\exists a \in A) (\exists b \in B)(\forall c \in C)[&F(a,b)=c~\wedge~F(c,d)=a~\wedge~ \\ 
    &a \in X~\wedge~(c \in Y ~\vee~d \in M)]
    \end{aligned}$

Answer 2

编辑（旧答案确实很复杂，没有必要）

第二种方式，无需\ontop命令：

\documentclass{article}
\usepackage{adjustbox}
\usepackage{tabularx}
\usepackage{amsmath}

\begin{document}
\textbf{Condition}:
$\begin{aligned}[t]
    (\exists a \in A) (\exists b \in B)(\forall c \in C)[&F(a,b)=c~\wedge~F(c,d)=a~\wedge~ \\ 
    &a \in X~\wedge~(c \in Y ~\vee~d \in M)]
    \end{aligned}$
\end{document}

与下面相同的输出，没有多余的空格。

旧答案：

问题是内联数学应该与文本一起垂直居中。你想要的是顶部对齐的表格。

因此，你可以尝试这样做：

\documentclass{article}

\usepackage{amsmath}

\def\ontop#1{\vtop{\null\hbox{#1}}}

\begin{document}

    \begin{tabular}{cc}\ontop{\textbf{Condition}:}&\ontop{$\begin{aligned}
    (\exists a \in A) (\exists b \in B)(\forall c \in C)[&F(a,b)=c~\wedge~F(c,d)=a~\wedge~ \\ 
    &a \in X~\wedge~(c \in Y ~\vee~d \in M)]
    \end{aligned}$}\end{tabular}

\end{document}

命令来源\ontop在这里：

https://tex.stackexchange.com/a/23522/120578

输出：