带有对齐的关系运算符间距问题

Question

我已经有一段时间没有问过真正令人尴尬的问题了，所以觉得是时候了 :-)。我不明白为什么=第三行周围的间距不正确：

笔记：

• 我意识到我在第二行有点作弊，但我不介意等式从左边开始。
• 绝对值来自绝对值符号， 但是不是与该问题相关。

代码：

\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

使用 5 个对齐方式时alignat，您使用的是rl-style 对齐方式，并且使用第三行，结果为

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

也就是说，和n^2都是=128.52右r对齐的。使用&&&作为最后一组对齐方式有效：

\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

使用 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}