为什么我从以下几行（纯 TeX）获得两个不同的输出？
$f=\mathop{\rm id}_Y\circ f$
$f={\mathop{\rm id}_Y}\circ f$
\bye
在这两者中，都使用了运算符，但在第一个中，运算符f太接近二进制符号\circ；在第二个中，通过对运算符进行分组，字形排列得更好。
如何才能获取文档中当前的第二个输出，而无需每次都对运算符进行分组？
答案1
由于 TeX 的规则，您会得到不同的间距。
我们$f=\mathop{\rm id}_Y\circ f$有
Ord Rel Op Bin Ord
查看 TeXbook 第 170 页的表格，我们可以添加原子之间的间距：
订单 3 相对 3 操作 1 订单* 订单
请注意垃圾桶原子变成奥德，因为组合奥普宾被拒绝了。毕竟，就像$\log-1$。所以垃圾桶变成了奥德原子。数字以 1= \thinmuskip、 2=\medmuskip和 3= 的形式表示空格\thickmuskip。
我们$f={\mathop{\rm id}_Y}\circ f$得到
Ord Rel Ord Bin Ord
因为子公式周围的括号使它变成奥德原子，因此间距是
订单 3 相对 3 订单 2 仓位 2 订单
恒等映射的符号是不是一个运算符，而是一个普通的原子和
{\rm id}
就是您所需要的。使用\mathord{\rm id}更具语义，但完全等效。