このアライメント環境を少しずつ修正するにはどうすればよいですか？

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*}

または、読みやすさを向上させようとしています。挿入 \quadそこに：

\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}

右側のセットが（視覚的に言えば）逆さまの三角形の形状を形成します。また、 quadを; 、 quadに置き換えました。十分ではありません...そこにスペース。

私は自分の列の合計と同じことをすることを簡単に考えましたが、「右に成長する」合計が視覚的に効果的であると判断しました。