如何防止对齐环境重置字体大小？

Question

我希望第二个量词下的行在 处对齐∈，因此我使用aligned。（也许我应该切换到split？）

\documentclass{article}
\usepackage{amsmath}
\usepackage{amsfonts}
\begin{document}
\[
\operatornamewithlimits
\forall_{a, b \in \mathbb Z}
\mathop
{\exists!}
_{\begin{aligned}
q &\in \mathbb Z \\
r &\in \mathbb Z _b
\end{aligned}}
a=qb+r
\]
\end{document}

但是这些线条显然以正常字体呈现，而不是像下标那样变小，并且可以在第一个量词下观察到。如何修复？

网站上针对自定义对齐多行下标问题的其他答案提供了低级解决方案，在我看来不太优雅，涉及修改环境subarray。如果可能的话，我想避免这种情况。

Answer 1

由于您正在使用该amsmath包，您可以使用其\substack宏在脚本样式数学模式下呈现下面的材料\exists!。（align并split使用显示样式数学模式，这对于手头的任务来说太大了。）\substack可以借助适当放置的\hfill（“水平填充”）指令来实现材料内的对齐。

\documentclass{article}
\usepackage{amsmath} % for \operatornamewithlimits and \substack macros
\usepackage{amssymb} % for \mathbb macro

\begin{document}
\[
\operatornamewithlimits\forall_{a, b \in \mathbb{Z}}  \,
\operatornamewithlimits{\exists!}%
  _{\substack{q\in \mathbb{Z} \hfill \\ 
              r\in \mathbb{Z}_b}}       \!
a=qb+r
\]
\end{document}

Answer 2

在这种情况下，一种替代方法可能是使用\alignLongstack作为下标，因为\scriptstyle可以设置为\TABstackMathstyle。

\documentclass{article}
\usepackage{amsmath,tabstackengine}
\TABstackMath
\TABstackMathstyle{\scriptstyle}
\setstackgap{L}{.7\normalbaselineskip}
\usepackage{amsfonts}
\begin{document}
\[
\operatornamewithlimits
\forall_{a, b \in \mathbb Z}
\mathop
{\exists!}_{\alignLongstack{q \in& \mathbb Z \\ r \in& \mathbb Z _b}}
a=qb+r
\]
\end{document}