公式内预设的空白

Question

我正在尝试生成如下等式：

∃x∀y
    if P(x, y) then
        multiline
        formula
    else
        another
        formula

我不能使用逐字，因为我需要访问数学字符，如果我使用对齐：

&\exists x\forall y&&
&&if\ P(x, y)\ then&
&&&multline
&&&formula
...

我最终得到：

∃x∀y
    if P(x, y) then
                   multiline
                   formula

Answer 1

像这样：

\documentclass{article}
\usepackage{mathtools}

\begin{document}
    \begin{align*}
        \MoveEqLeft
\exists x\forall y  \\
    &   \text{if } P(x, y) \text{ then}         \\
    &   \quad\begin{multlined}[t]
          \framebox[0.5\linewidth]{first line}  \\
          \framebox[0.6\linewidth]{last line}
        \end{multlined}  \\
    &   \text{else} \\
    &   \quad\begin{multlined}[t]
          \framebox[0.5\linewidth]{first line}  \\
          \framebox[0.6\linewidth]{last line}
        \end{multlined}
    \end{align*}
\end{document}