如何解决这个对准环境有点整洁？

Question

我正在写的如何递归函数是使用来自在乳胶align的amsmath环境列表中的应用的描述。下面的代码：

\begin{align*}
  & \reduce (+, 0,                  & [1, 2, 3, 4]) \\
= & \reduce (+, 0 + 1,              & [2, 3, 4]) \\
= & \reduce (+, 0 + 1 + 2,          & [3, 4]) \\
= & \reduce (+, 0 + 1 + 2 + 3,      & [4]) \\
= & \reduce (+, 0 + 1 + 2 + 3 + 4,  & []) \\
= & 0 + 1 + 2 + 3 + 4\\
= & 10
\end{align*}

或我的尝试，以增强可读性。插入\quads有：

\begin{align*}
 & \reduce (+,\quad 0,                   & [1, 2, 3, 4]) \\
=& \reduce (+,\quad 0 + 1,               & [2, 3, 4]) \\
=& \reduce (+,\quad 0 + 1 + 2,           & [3, 4]) \\
=& \reduce (+,\quad 0 + 1 + 2 + 3,       & [4]) \\
=& \reduce (+,\quad 0 + 1 + 2 + 3 + 4,   & []) \\
=& 0 + 1 + 2 + 3 + 4\\
=& 10
\end{align*}

这只是不好看。下面是后者的快速图像：

http://havu.viuhka.fi/kuvat/alignenv.png

这几乎是可读可美学，但并不完全。

如何让小差距？你可能有任何其他提示的感谢！

Answer 1

有关如何使用表格环境，而不是对齐，使用它可以更容易地控制列的排列？我个人喜欢的结果：

\begin{tabular}{ r l c }
 & reduce(+,\;\, 0,                   & [1, 2, 3, 4]) \\
=& reduce(+,\;\, 0 + 1,               & [2, 3, 4]) \\
=& reduce(+,\;\, 0 + 1 + 2,           & [3, 4]) \\
=& reduce(+,\;\, 0 + 1 + 2 + 3,       & [4]) \\
=& reduce(+,\;\, 0 + 1 + 2 + 3 + 4,   & []) \\
=& 0 + 1 + 2 + 3 + 4\\
=& 10
\end{tabular}

导致上，以形成（肉眼而言）上下颠倒的三角形的形状正确的设定。我也换成\与\四，\，\四似乎是太多了，而且\;没有足够的空间...那里。

我一度考虑做同样在自己列的款项，但决定的数额不断增长的权利“是视觉上更有效。