在数学中，是否有将文本作为索引的惯例

Question

以范畴论为例，给定一个范畴“C”，其对立范畴通常表示为“C^op”。其中“op”是 opposite 的缩写。现在有三种方法可以将其放入 latex 中：

• 作为C^{op}
• 作为C^\operatorname{op}
• 作为C^\text{op}

虽然我不会使用第一个，但第二个和第三个对我来说都有意义。那么他们是否应该使用一个惯例，如果是，背后的原因是什么

Answer 1

第一个可能不是一个好主意，正如你已经注意到的，因为op可能会被误认为o⋅p。但我不认为其他选项也正确。

\operatorname{op}当关键字用作数学运算符时，在关键字周围放置正确的间距。但此处并非如此。

\text{op}至少在句法上，意味着散文。但你试图显示数学符号。

所以我认为最好的方法是使用\mathrm{op}。或者更好的是，定义

\newcommand\opcat[1]{{#1}^{\mathrm{op}}

并将其用作\opcat{C}。

Answer 2

绝对不是^{op}数学斜体字体不应该用于多字母标识符。

^\operatorname{op}\mathrm（默认情况下）使用与间距相同的字体（与或\mathop相同。在显示的用法中没有效果，但在其他情况下会有效果。\log\sin\mathop

^\text{op}（使用 amsmath 的定义\text）将使用当前文本字型。

也许我会使用（定义为的宏），\mathrm{op}以便它使用\mathrm具有 mathord 间距的字体。