我想漂亮地打印多行方程。我的第一个想法是在方程中使用拆分，但它只支持单个插入点。我尝试了对齐，但它向右调整而不是向左调整到对齐点。我考虑过表格，但这需要手动计算缩进。其他解决方案为每行打印一个数字，或者在方程环境中不允许。我想要的效果是这样的
A =
{
{B,C,D},
{C,D,E}
}
谢谢。
alignat 的这些测试用例有两个问题
我针对一个方程式得到了多个方程式编号。
除非我添加不自然的对齐点，否则我会得到正确的对齐
\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{alignat} {6}
D = & \{
\\
&& A
\\
&&& \{
\\
&&&& B
\\
&&&&& \{
\\
&&&&&& C
\\
&&&&& \}
\\
&&& \}
\\
& \}
\end{alignat}
\begin{alignat} {2}
D = &
(
\\
&&
\{
\\
&&&
A, B, C
\\
&&
\},
\\
&&
\{
\\
&&&
D, E, F
\\
&&
\}
\\
&
)
\end{alignat}
\begin{alignat} {6}
D = &
(
\\
&&&
\{
\\
&&&&
A, B, C
\\
&&&
\},
\\
&&&
\{
\\
&&&&
D, E, F
\\
&&&
\}
\\
&
)
\end{alignat}
\end{document}
我正在寻找的东西要么在等式中允许，要么生成单个等式编号，并且会在每个“&”符号处而不是每个其他“&”符号处进行调整。
至于数组，如果我使用，我会得到不可接受的长缩进，例如，
\begin{equation}
\begin{array} {llll}
D \defeq & \bigl \{
\\
&& A very long variable name
\\
&& \{
\\
&&& \funcname{i} \maps \set{e^1} \hookrightarrow U^1,
\phi^1 \maps U^1 \toiso V^1,
\funcname{f}_1 \maps V^1 \to \seqname{C}^2,
\\
&& \}.
\\
&& \{
\\
&&& \funcname{f}_0 \maps U^1 \to U^2,
\phi^2 \maps U^2 \toiso V^2
\\
&& \}
\\
& \bigr \}
\end{array}
\end{equation}
答案1
\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{alignat*}{2}
A={}&\{\\
&\quad\{B,C,D\},\\
&\quad\{C,D,E\}\\
&\}
\end{alignat*}
or with a number
\begin{equation}
\begin{alignedat}{2}
A={}&\{\\
&\quad\{B,C,D\},\\
&\quad\{C,D,E\}\\
&\}
\end{alignedat}
\end{equation}
\end{document}
答案2
只需使用array：
\documentclass{article}
\usepackage{amsmath}
\begin{document}
\[
A=
\begin{array}[t]{@{}ll@{}}
\{ \\
& \{B,C,D\}, \\
& \{C,D,E\} \\
\}
\end{array}
\]
\[
A=
\begin{array}[t]{@{}l@{}l@{}}
\{ \\
& \{B,C,D\}, \\
& \{C,D,E\} \\
\}
\end{array}
\]
\end{document}
