Для чего используется \if@display в amsmath?

Question

Я заметил, что в частиОтветгде \podпереопределено с помощью \mathchoice, оператор \if@display... \else... \fiиспользуется для первых двух вариантов \mathchoice. Мне было интересно: что это @displayзначит, и когда необходимо (или рекомендуется) использовать оператор \if@display... \else... \fi?

Answer 1

\if@displayявляется одним токеном, а не \if @displayопределяется и документируется в amsmath следующим образом:

%    The straightforward \cs{ifinner} test to see if the current math
%    context is non-display, fails if, for instance, we are typesetting
%    a multiline display within an \cs{halign}, with the pieces going
%    into constructions like
%    \begin{verbatim}
%    $\displaystyle...$
%    \end{verbatim}
%    So we need a better test to find out if we are `in a display'. We
%    therefore create \cs{if@display}.
%
%    \begin{macrocode}
\newif\if@display
\everydisplay\@xp{\the\everydisplay \@displaytrue}
%    \end{macrocode}

По сути, это внутренняя конструкция в amsmath, не предназначенная для использования где-либо еще, хотя иногда ее можно использовать с осторожностью в качестве альтернативы обычной \mathchoiceконструкции.