![如何修复求和的间距](https://linux22.com/image/352336/%E5%A6%82%E4%BD%95%E4%BF%AE%E5%A4%8D%E6%B1%82%E5%92%8C%E7%9A%84%E9%97%B4%E8%B7%9D.png)
我定义了一个命令\newcommand{\osum}[2]{\smashoperator[r]{\sum_{#1}}{#2}}
,目的是允许仅有的被加数位于 sigma 符号旁边。但是,正如我的 MWE 所示,这并没有被正确翻译:
\documentclass{article}
\usepackage{mathtools}
\newcommand{\osum}[2]{\smashoperator[r]{\sum_{#1}} {#2}}
\newcommand{\orb}{\text{Orb}}
\begin{document}
\[
O_G(X^\alpha) = \osum{X^\beta \in \orb_{G}(X^\alpha)}{X^\beta} = \osum{X^\beta \in \orb_G(\sigma^{-1}(X^\alpha))}{X^\beta} = \osum{X^\beta \in \orb_G(X^{\sigma(\alpha)})}{X^\beta} = O_G(X^{\sigma(\alpha)}).
\]
\end{document}
这得出
我不希望等号悬停在下标上。我希望它尊重 osum 对象的间距。有人有什么建议吗?谢谢。
答案1
我认为我可能会选择第三个选项,因为它很简单,而且看起来不错。我原本想做一个更复杂的方案,测量带下标和不带下标的和的宽度,然后手动定位。这样可以让下标在和的下方居中,但实际上,我认为在这种情况下,在整个项的下方居中更紧凑,也更合适。
\documentclass{article}
\usepackage{mathtools}
\newcommand{\osum}[2]{\smashoperator[r]{\sum_{#1}} {#2}}
\newcommand{\orb}{\mathrm{Orb}}
\begin{document}
\[
O_G(X^\alpha) = \osum{X^\beta \in \orb_{G}(X^\alpha)}{X^\beta} = \osum{X^\beta \in \orb_G(\sigma^{-1}(X^\alpha))}{X^\beta} = \osum{X^\beta \in \orb_G(X^{\sigma(\alpha)})}{X^\beta} = O_G(X^{\sigma(\alpha)}).
\]
\renewcommand{\osum}[2]{\sum_{#1}{#2}}
\[
O_G(X^\alpha) = \osum{X^\beta \in \orb_{G}(X^\alpha)}{X^\beta} = \osum{X^\beta \in \orb_G(\sigma^{-1}(X^\alpha))}{X^\beta} = \osum{X^\beta \in \orb_G(X^{\sigma(\alpha)})}{X^\beta} = O_G(X^{\sigma(\alpha)}).
\]
\renewcommand{\osum}[2]{\mathop{\sum{#2}}_{#1}}
\[
O_G(X^\alpha) = \osum{X^\beta \in \orb_{G}(X^\alpha)}{X^\beta} = \osum{X^\beta \in \orb_G(\sigma^{-1}(X^\alpha))}{X^\beta} = \osum{X^\beta \in \orb_G(X^{\sigma(\alpha)})}{X^\beta} = O_G(X^{\sigma(\alpha)}).
\]
\end{document}