Wie schreibt man richtig +: R × R → R?

Question

Beim Betrachten der Addition beispielsweise eines RingsRals KarteR×R→Rschreibt man oft so etwas wie

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

Ich vermute jedoch, dass vielleicht

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

ist richtiger? Oder sollte ich etwas völlig anderes tun (vielleicht einen anderen \mathXBefehl verwenden)?

Answer 1

Unabhängig davon, ob Sie verwenden amsmathoder nicht, das erste Atom, das folgt +(normalerweise einBehälterAtom, binäre Operation), ist einPunktierenAtom (Interpunktion).

Laut TeXbook, Tabelle auf Seite 170, handelt es sich dabei um eine unmögliche Kombination, d.h. es +wird in diesem Fall alsOrdAtom. Der Abstand ist also derselbe wie bei f\colon, d. h. es wird kein Leerzeichen hinzugefügt. Dieselbe Tabelle finden Sie auf Seite 205 von TeX by Topic, unten mit den entsprechenden Anmerkungen wiedergegeben.

Dabei amsmathbleibt immer noch ein Leerzeichen von 2mu bestehen (dasselbe gilt jedoch für einen Buchstaben).

Im Zweifelsfall legen Sie einfach dieBehälterAtom in Klammern, was es zu einemOrdeins. Das Hinzufügen \mathorddavor ist dasselbe.