Cómo solucionar este problema poco más ordenado ambiente una alineación?

Question

Estoy escribiendo una descripción de cómo las funciones recursivas se aplican dentro de las listas utilizando el entorno de align amsmath en LaTeX. Aquí está el código:

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

o mi intento a cabo para mejorar la legibilidad. \quads insertados allí:

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

Es simplemente no se ve bien. Aquí hay una foto rápida de este último:

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

Es casi tanto legible y estético, pero no del todo.

Como hacer el hueco más pequeño? Y algún otro consejo que pueda tener son apreciados!

Answer 1

Cómo sobre el uso de un entorno tabular en lugar de alinear, con el que puede controlar más fácilmente la alineación de las columnas? Personalmente me gustó los resultados de:

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

Hace que el conjunto sobre el derecho a la forma (visualmente hablando) una forma de triángulo al revés. También he sustituido \ quad con \; \, \ quad parecía demasiado, y \; no hay suficiente espacio ... allí.

Me brevemente consideran hacer lo mismo con las sumas en su propia columna, pero decidieron que las sumas crecientes 'a la derecha' era visualmente más eficaz.