如何正确写出 +: R × R → R？

Question

当查看（比如说）环上的加法时R作为地图R×R→R，人们经常会写类似

{+}\colon R\times R\to R.

不过，我认为也许

\mathord+\colon R\times R\to R

更正确吗？或者我应该做一些完全不同的事情（也许使用不同的\mathX命令）？

Answer 1

无论你是否使用amsmath，后面的第一个原子+（通常是垃圾桶原子（二元运算）点原子（标点符号）。

根据 TeXbook 第 170 页的表格，这是一个不可能的组合，这意味着+在这种情况下被视为奥德原子。因此间距将与 使用的间距相同f\colon，即不添加空格。TeX by Topic 第 205 页上有相同的表格，下面附有相关注释。

仍然amsmath会有 2mu 的空间（但字母也是如此）。

如有疑问，请附上垃圾桶原子在括号中，这将使其成为奥德一个。\mathord在前面加一个也一样。