¿Cómo escribir correctamente +: R × R → R?

Question

Al ver una suma en (digamos) un anilloRcomo un mapaR×R→R, a menudo se escribe algo como

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

Sin embargo, supongo que tal vez

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

¿Es más correcto? ¿O debería hacer algo totalmente diferente (quizás usar un \mathXcomando diferente)?

Answer 1

Independientemente de si usas amsmatho no, el primer átomo que sigue +(normalmente unPapeleraátomo, operación binaria), es unpuntoátomo (puntuación).

Según el TeXbook, tabla en la página 170, esta es una combinación imposible, lo que significa que +se considera en este caso como unaordenátomo. Por lo que el espaciado será el mismo que el utilizado para f\colon, es decir, sin espacio añadido. La misma tabla está en la página 205 de TeX por tema, reproducida a continuación con las notas relativas.

Con amsmathseguirá quedando un espacio de 2mu (pero lo mismo sería con una letra).

En caso de duda, simplemente adjunte elPapeleraátomo entre llaves, lo que lo convertirá en unordenuno. Agregar \mathorddelante es lo mismo.