考虑以下方程：
\documentclass{article}
\usepackage{amsmath}
\begin{document}
\[
\int_Y \left( \int_X f(x,y)\,dy\right)dx
\overset{\substack{\text{Fubini's} \\ \text{theorem}}}{=}
\int_X \left( \int_Y f(x,y)\,dx\right)dy
\]
\[
\int_Y \left( \int_X f(x,y)\,dy\right)dx
\overset{\text{Fubini's theorem}}{=}
\int_X \left( \int_Y f(x,y)\,dx\right)dy
\]
\end{document}
编译后，结果如下：
如您所见，当我们进行子堆叠时，“定理”线和等号之间没有足够的垂直空间。 （实际上，当我们不进行子堆叠时是否有足够的空间是值得商榷的......）
我的问题：确保那里有足够空间的惯用方法是什么？
答案1
使用一些幻像空间，例如\mathstrut：
\documentclass{article}
\usepackage{amsmath}
\newcommand{\diff}{\mathop{}\!d}
\begin{document}
\[
\int_Y \biggl( \int_X f(x,y)\diff y\biggr)\diff x
\overset{\substack{\text{Fubini's} \\ \text{theorem}\mathstrut}}{=}
\int_X \biggl( \int_Y f(x,y)\diff x\biggr)\diff y
\]
\end{document}
