+: 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 ページにあり、関連する注記とともに以下に再現されています。

それでもamsmath2mu のスペースが残ります (ただし、文字の場合も同様です)。

疑問がある場合は、置き場括弧で囲んだ原子は、オード1つ。\mathordその前に追加しても同じです。