无处不在的对齐

[zsben2]

本 issue 主要解决数学手稿中不适用 align 环境的大量无规则对齐问题。较早前的讨论见 #166 。

另外我再列举一些需要对齐且 align 不适用的情况（或更一般地，行间数学模式不适用的情况）：

上图 1 可以用 xy 实现，但我对 xy 不熟T^T，甚至觉得有点大材小用。

上图 2 是非常常见的。递等式要求对齐，但他首行需要直接跟在 “证明”、“(1)”、“∵” 等行内字符之后。既要让首行不脱离水平模式，又要让下面的行能与第一行对齐，这就只能引进 tabular 环境了。但这样做确实不美观，明明叙述过程很连贯，中间又多嵌套一个环境，而且表格内的公式（按需）还要一格一格给它加 \displaystyle。还有一个最大的问题是， “证明”、“(1)”这种文字是用 \item 产生的，\item 可放不进格子里……

上图 3 是一个非常复杂的对齐案例，但一般情况下，出现更多的是他的退化版本。这在 2020 年 11 月 7 日在 QQ 群 91940767 中被提出过

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{align*}
    AAAAAAAAA= & BBBBBBBBBBBBBBBBBBBBBBB \\
    =          & CCCCCCCCCCCCCCCCCCCCCCC \\
    =          & DDDDDDDDD+EEEEEEEEEE    \\
                          +FFFFFFFF
\end{align*}
\end{document}

请问如何让第四行和第三行的加号对齐？

当时的解决方案是使用幻影 \phantom，因为 align 提供的多列对齐功能只会让 E 前的 + 号离 D 很远。但不得不承认，使用幻影确实不够优雅。