Alinhar centralizado, irregular à direita e irregular à esquerda no ambiente de alinhamento

Question

Escrita

\begin{align*}
        && a &= b\\
        \Leftrightarrow&& b &= c\\
        \Leftrightarrow&& c + 2 &= 3 + 5\\
        \Leftrightarrow&& d + c + 1 &= 4 + 11 + 12
\end{align*}

dá

.

Cada um \Leftrightarrowdeve ser centralizado, tudo o que resta do sinal de igual deve ser irregular para a esquerda e tudo o que está à direita do sinal de igual deve ser irregular para a esquerda.

O enorme espaço em branco, obviamente, é um problema para mim. Como posso resolver esse problema (especialmente se eu usar alignem vez de align*)? Usando o tabularambiente comodeclarado em uma solução para outra pergunta que fiz, receio, não vai ajudar.

Answer 1

Você já temalignat

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{alignat*}{2}
        &\;& a &= b\\
        \Leftrightarrow && b &= c\\
        \Leftrightarrow && c + 2 &= 3 + 5\\
        \Leftrightarrow && d + c + 1 &= 4 + 11 + 12
\end{alignat*}
\end{document}

Answer 2

Vocêfezdizertudo à direita do sinal de igual deve ser irregular para a esquerda. Não acho que você quis dizer isso, mas mostro isso como uma possibilidade.

Feito aqui com TABstacks, após mostrar o código original do OP.

\documentclass{article}
\usepackage{amsmath,tabstackengine}
\TABstackMath
\begin{document}
\begin{align*}
        && a &= b\\
        \Leftrightarrow&& b &= c\\
        \Leftrightarrow&& c + 2 &= 3 + 5\\
        \Leftrightarrow&& d + c + 1 &= 4 + 11 + 12
\end{align*}
\[
\setstackaligngap{6pt}% horizontal gap between align groups
\alignCenterstack{
        && a =& b\\
        \Leftrightarrow&& b =& c\\
        \Leftrightarrow&& c + 2 =& 3 + 5\\
        \Leftrightarrow&& d + c + 1 =& 4 + 11 + 12
}
\]
\[
\setstacktabbedgap{0pt}% horizontal gap between tabbed groups
\tabbedCenterstack[r]{
        & a =& b\\
        \Leftrightarrow& b =& c\\
        \Leftrightarrow& c + 2 =& 3 + 5\\
        \Leftrightarrow& d + c + 1 =& 4 + 11 + 12
}
\]
\end{document}