我找到了一个解决方案（第三个\sqrt），但很好奇为什么（第二个）\smash{} 中的被忽略。{\sum_{\smash{ij}}\sqrt
笔记：
代码：
\documentclass{article}
\usepackage{mathtools}
\begin{document}
\[
\sqrt{\sum_{ij} f(i,j)}
\sqrt{\sum_{\smash{ij}} f(i,j)}
\sqrt{\vphantom{\sum}\smash{\sum_{ij}} f(i,j)}
\]
\end{document}
答案1
您得到的结果与第二个示例中的空下标结果相同，因为 TeX 保留了空间并强制使用下一个大小，这与下标存在时的情况相同。唯一的区别是，在第一种情况下，由于 的深度，根号被降低了j。
“真正”的解决方案是
\[
\vphantom{\sum_{ij}}\sqrt{\vphantom{\sum}\mathop{\smash{\sum_{ij}}} f(i,j)}
\]
外部幻像是为了确保真实的深度得到照顾。
然而，我建议采用以下两种实现方式之一。
\documentclass{article}
\usepackage{mathtools}
\begin{document}
\[
\Bigl(\,\sum_{ij}f(i,j)\Bigr)^{1/2}
\qquad
\biggl(\,\sum_{ij}f(i,j)\biggr)^{\!1/2}
\]
\end{document}
以下是对上述陈述的直观证明。
\documentclass{article}
\usepackage{mathtools}
\begin{document}
\fbox{$\displaystyle{\mathop{{}{=}}_{}}$}
\fbox{$\displaystyle=$}
\end{document}
这{}{=}是为了确保 Op 原子不相对于数学轴居中并且不在周围添加空格=。
我们\showlists看到第一个公式是
\displaystyle
\mathord
.\mathop
..\mathord
...{}
..\mathord
...\mathrel
....\fam0 =
._{}
并且空下标清晰可见，并增加了垂直空间。
答案2
如果使用\sqrt我建议这是一个更好看（在我看来）的方式：
\documentclass{article}
% \usepackage{mathtools}
\begin{document}
\[
\sqrt{\sum\nolimits_{ij} f(i,j)}
\]
\[
\sqrt{\,\sum\nolimits_{ij} f(i,j)}
\]
\end{document}
我发现平方根太靠近和号的顶角，因此第二行增加了一点空间。
答案3
FWIW，nath包忽略了计算平方根高度的下标：
\documentclass{article}
\usepackage{nath}
\begin{document}
\[
\sqrt{\sum_{ij} f(i,j)}
\]
\end{document}
这使
请注意，nath与的显示数学环境不兼容amsmath，这会严重限制其可用性。