LaTeX 中数学符号的垂直放置

Question

我使用符号 \otimes 作为一元运算符，它的垂直对齐对我来说似乎不正确。它希望位于基线以下一点。例如，如果我定义 \newcommand{\myop}{\ensuremath \otimes}，则 $\myop I$ 变为

并且 $F_{\myop I}$ 变为

我尝试使用 \raisebox 来修复此问题，例如，

\newcommand{\myop}{\ensuremath \raisebox{1pt}{$\otimes$}}

这修复了 $\myop I$：

但 \raisebox 似乎对下标不敏感。运算符保持相同的大小，而周围的所有内容都缩小：

我认为问题在于 \raisebox 创建了自己的 LR 框，它不会继承周围数学环境中的设置。是否有一个“尊重数学”的 \raisebox 版本？

Answer 1

尝试 \mathchoice （或 \mathpalette）：

\newcommand{\myop}{%
  \mathchoice{\raisebox{1pt}{$\displaystyle\otimes$}}
             {\raisebox{1pt}{$\otimes$}}
             {\raisebox{0.5pt}{$\scriptstyle\otimes$}}
             {\raisebox{0.2pt}{$\scriptscriptstyle\otimes$}}}

amsopn 文档 说：

...脚本和脚本中的垂直间距可能不是最佳的
尺寸。不幸的是 TeX 没有提供简单的方法来实现数学模式垂直间距
这随当前的数学风格（如 mu 单位）而变化。

Answer 2

$F_{\raisebox{1pt}{\scriptsize$\otimes$} I}$