我想知道是否有可能在不重复命令的情况下对齐多个最小值（或最大值，或极限......）的索引\vphantom- 我觉得这有点“作弊”。
以下是简短的 MWE
\documentclass{article}
\usepackage{amsmath, amsthm, amssymb, amsfonts, amscd}
\begin{document}
\begin{equation}
\inf_{v, w \in V} \bigg(\inf_{\tilde v, \tilde w \in \widetilde V} v + w - (\tilde v + \tilde w)\bigg)
\end{equation}
\begin{equation}
\inf_{\vphantom{\widetilde V}v, w \in V} \bigg(\inf_{\tilde v, \tilde w \in \widetilde V} v + w - (\tilde v + \tilde w) \bigg)
\end{equation}
\end{document}
这是我希望得到的行为，不需要\vphantom（方程（2）很好地对齐）
答案1
在这个答案中，我不讨论其他人提到的括号高度问题，而是讨论方程式中下标的垂直高度。
之所以\vphantom需要，是因为下标位置在操作符和底标之间提供了固定的空白间隙。这通常是一件好事，因为它允许以合理的方式设置各种高度的底标。
缺点是，如果两个操作员的底标高度略有不同，则底标的基线就不会对齐。
在这里，我定义了一个宏\finf(fixed-underset \inf)，它接受一个参数，\finf{...}代替语法\inf_{...}，并修复运算符和下标之间的基线跳跃。还提供了一个可选参数来指定基线跳跃。
因此，\vphantom可以避免 ，并且\finf{...}不需要比 更多的按键\inf_{...}。
已编辑，为任何数学运算符提供执行此操作的通用宏，并展示如何为和\fop进行设置。使用这种方法，底标基线将始终对齐，无论其局部高度如何。\finf\fsum
\documentclass{article}
\usepackage{amsmath, amsthm, amssymb, amsfonts, amscd}
\usepackage[usestackEOL]{stackengine}
\newcommand\fop[3][9pt]{\mathop{\ensurestackMath{\stackengine{#1}%
{\displaystyle#2}{\scriptstyle#3}{U}{c}{F}{F}{L}}}\limits}
\newcommand\finf[2][9pt]{\fop[#1]{\inf}{#2}}
\newcommand\fsum[2][13pt]{\fop[#1]{\sum}{#2}}
\begin{document}
\centering
inf (no vphantom)
\begin{equation}
\inf_{\mathstrut v, w \in V} \bigg(\inf_{\tilde v, \tilde w \in \widetilde V} v + w - (\tilde v + \tilde w)\bigg)
\end{equation}\medskip
inf (vphantom)
\begin{equation}
\inf_{\vphantom{\widetilde V}v, w \in V} \bigg(\inf_{\tilde v, \tilde w \in \widetilde V} v + w - (\tilde v + \tilde w) \bigg)
\end{equation}\medskip
finf
\begin{equation}
\finf{\mathstrut v, w \in V} \bigg(\finf{\tilde v, \tilde w \in \widetilde V} v + w - (\tilde v + \tilde w)\bigg)
\end{equation}\medskip
fsum
\begin{equation}
\fsum{\mathstrut v, w \in V}^n \bigg(\fsum{\tilde v, \tilde w \in \widetilde V}^n v + w - (\tilde v + \tilde w)\bigg)
\end{equation}
\end{document}
在下图中，添加了红线只是为了突出显示垂直高度略有不同的下标基线的对齐方式
