如何正確寫 +: R × R → R？

Question

當查看（例如）戒指上的加法時右作為地圖右×右→右，人們常寫這樣的東西

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

然而，我認為也許

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

更正確嗎？或者我應該做一些完全不同的事情（也許使用不同的\mathX命令）？

Answer 1

無論您是否使用amsmath，後面的第一個原子+（通常是垃圾桶原子，二元運算），是點點原子（標點符號）。

根據 TeXbook 第 170 頁的表格，這是一個不可能的組合，這意味著+在這種情況下被視為奧德原子。因此，間距將與用於 的間距相同f\colon，即不添加空格。同一張表位於 TeX 依主題的第 205 頁，並附有相關註釋，轉載如下。

仍然amsmath會有 2mu 的空間（但對於字母來說也是如此）。

如有疑問，只需附上垃圾桶大括號中的原子，這將使其成為奧德一。\mathord在前面添加也是一樣的。