我被教导要把 的左下标作为 的右下标{}。例如，我会使用
f: {}_RA \rightarrow {}_RB
排版如下：
如果你改用
f: _RA \rightarrow _RB
左下标最终出现在错误的位置（因为 LaTeX 认为它们是之前对象的右下标）：
但是，这个技巧对于 这样的操作符不太适用/otimes。代码
A {}_\varphi\otimes_\psi B
张量积符号和下标之间的空格太多：
我发现的一个解决方案是使用空格（包括负薄空格）来调整间距。代码
A \; {}_\varphi \! \otimes_\psi B
产生这个：
但是，这只是一个临时解决方案，无法与 LaTeX 通信，无法\varphi将内容附加到\otimes。此外，左下标仍然有点太靠左了。有人知道更优雅的解决方案吗？
答案1
尝试张量包。您可以直接发出
$A \tensor[_\varphi]{\otimes}{_\psi} B$
以获取您指定的示例。请注意，如果您混合了上限和下限索引，标准\tensor命令将留下“幻像”空间。要使所有索引与中心符号齐平，请使用\tensor*。
答案2
这里的问题是\otimes作为关系符号的特殊处理，它在符号的两侧添加了空格。将其放在括号中可以抑制此行为：
A {}_\varphi{\otimes}_\psi B
接受的答案是使用tensor，隐式地执行此操作。
为了获得最佳间距，应该将修饰操作声明为新的数学符号。而不是\mathop（由 François G. Dorais 建议）用于大型运算符（如\prod和 ）\sum，\mathbin而是用于\otimes，+并且\cap可能更合适：
A \mathbin{{}_\varphi{\otimes}_\psi} B