Alinhar dentro do alinhamento

Question

Tenho que escrever equações neste formato:

    (1) A  → (*some terms*)
                   A.a = (*some terms*)
                   A.b = (*some terms*)
                   ...
                   A.z = (*some terms*)

    (2) B  → (*some terms*)
                   B.a = (*some terms*)
                   B.b = (*some terms*)
                   ...
                   B.z = (*some terms*)

    ...

    (5) E  → (*some terms*)
                   E.a = (*some terms*)
                   E.b = (*some terms*)
                   ...
                   E.z = (*some terms*)

Os números ((1), (2), etc) devem estar à esquerda, o símbolo '→' deve ser alinhado e todos os símbolos '=' devem ser alinhados. Além disso, o Aa, Ab etc deve começar à direita de '→'.

Como posso fazer isso? Sou um iniciante em LateX.

Answer 1

Você pode usar flalign; com \lefteqna largura do argumento é ignorado.

\documentclass{article}
\usepackage{amsmath}

\begin{document}

Some text before the display just to see where the margins of the type block
are, some more to be sure
\begin{flalign*}
(1)\quad A &\to \lefteqn{(*some terms*)} &&& \\
& & A.a &= (*some terms*) \\
& & A.b &= (*some terms*) \\
& & A.c &= (*some terms*) \\
(2)\quad B &\to \lefteqn{(*some terms*)} \\
& & B.a &= (*some terms*) \\
& & B.b &= (*some terms*) \\
& & B.c &= (*some terms*) \\
(3)\quad C &\to \lefteqn{(*some terms*)} \\
& & C.a &= (*some terms*) \\
& & C.b &= (*some terms*) \\
& & C.c &= (*some terms*)
\end{flalign*}
Some text before the display just to see where the margins of the type block
are, some more to be sure

\end{document}

Answer 2

Você sempre pode usar os recursos de eqparboxpara fornecer larguras de tamanhos semelhantes entre os elementos do documento (como enumerateou align):

\documentclass{article}

\usepackage{amsmath,eqparbox,enumitem}

\begin{document}

Some text before the display just to see where the margins of the type block
are, some more to be sure:
\begin{enumerate}[label={(\arabic*)}]
  \item
  $\eqmakebox[LHSitem][r]{$A$} \to text{(*some terms*)}$
  \begin{align*}
    \eqmakebox[LHS][r]{$A.a$} &= \text{(*some terms*)} \\
    \eqmakebox[LHS][r]{$A.b$} &= \text{(*some terms*)} \\
    \eqmakebox[LHS][r]{$A.c$} &= \text{(*some terms*)}
  \end{align*}
  
  \item
  $\eqmakebox[LHSitem][r]{$AB$} \to \text{(*some terms*)}$
  \begin{align*}
    \eqmakebox[LHS][r]{$AB.a$} &= \text{(*some terms*)} \\
    \eqmakebox[LHS][r]{$AB.b$} &= \text{(*some terms*)} \\
    \eqmakebox[LHS][r]{$AB.c$} &= \text{(*some terms*)}
  \end{align*}
  
  \item
  $\eqmakebox[LHSitem][r]{$ABC$} \to \text{(*some terms*)}$
  \begin{align*}
    \eqmakebox[LHS][r]{$ABC.a$} &= \text{(*some terms*)} \\
    \eqmakebox[LHS][r]{$ABC.b$} &= \text{(*some terms*)} \\
    \eqmakebox[LHS][r]{$ABC.c$} &= \text{(*some terms*)}
  \end{align*}
\end{enumerate}
Some text before the display just to see where the margins of the type block
are, some more to be sure.

\end{document}