Problema de espaçamento de operador relacional com alinhamento

Question

Faz algum tempo que não faço uma pergunta realmente embaraçosa, então pensei que era a hora :-). Não sei por que o espaçamento em torno =da terceira linha está incorreto:

Notas:

• Percebo que estou trapaceando um pouco na segunda linha, mas não me importo que a equação comece um pouco à esquerda.
• O valor absoluto é deSímbolos de valor absoluto, mas énãorelevante para este problema.

Código:

\documentclass{article}
\usepackage{mathtools}

% https://tex.stackexchange.com/questions/43008/absolute-value-symbols
\DeclarePairedDelimiter\abs{\lvert}{\rvert}%

%% ----- Not relevant for this example
%% Swap the definition of \abs* and \norm*, so that \abs
%% and \norm resizes the size of the brackets, and the 
%% starred version does not.
%\makeatletter
%\let\oldabs\abs
%\def\abs{\@ifstar{\oldabs}{\oldabs*}}

\begin{document}
\begin{alignat*}{5}
 \abs{E_T}
             &&                  {}\le \frac{K (b-a)^3}{12 n^2} &&= 0.005 \\
             &&  \frac{0.2487 (\pi)^3}{12 n^2}                  &&= 0.005 \\
    \implies &&                                            n^2  &&=128.52 \\
             &&                                            n    &&\approx 11.34
\end{alignat*}
\end{document}

Answer 1

Com alignat5 alinhamentos você está usando um rlalinhamento de estilo e, usando sua terceira linha, isso resulta em

       r & l &   r & l & r
\implies &   & n^2 &   & r

Ou seja, ambos n^2e =128.52estão ralinhados à direita. Usar &&&como último conjunto de alinhamentos funciona:

\documentclass{article}
\usepackage{mathtools}

% http://tex.stackexchange.com/questions/43008/absolute-value-symbols
\DeclarePairedDelimiter\abs{\lvert}{\rvert}%

\begin{document}
\begin{alignat*}{5}
 \abs{E_T}
             &&                  {}\le \frac{K (b-a)^3}{12 n^2} &&&= 0.005 \\
             &&  \frac{0.2487 (\pi)^3}{12 n^2}                  &&&= 0.005 \\
    \implies &&                                            n^2  &&&=128.52 \\
             &&                                            n    &&&\approx 11.34
\end{alignat*}
\end{document}

Answer 2

Muito menos puxar o cabelo com um TABstack:

\documentclass{article}
\usepackage{mathtools}
\usepackage{tabstackengine}
\stackMath

% http://tex.stackexchange.com/questions/43008/absolute-value-symbols
\DeclarePairedDelimiter\abs{\lvert}{\rvert}%

%% ----- Not relevant for this example
%% Swap the definition of \abs* and \norm*, so that \abs
%% and \norm resizes the size of the brackets, and the 
%% starred version does not.
%\makeatletter
%\let\oldabs\abs
%\def\abs{\@ifstar{\oldabs}{\oldabs*}}

\begin{document}
\setstacktabulargap{0pt}
\setstackgap{S}{6pt}
\tabularShortstack{rrl}{
 \abs{E_T}
             &                  {}\le \dfrac{K (b-a)^3}{12 n^2} =& 0.005 \\
             &  \dfrac{0.2487 (\pi)^3}{12 n^2}                  =& 0.005 \\
    \implies &                                            n^2  =&128.52 \\
             &                                            n    \approx& 11.34
}
\end{document}