Ao visualizar adição em (digamos) um anelRcomo um mapaR×R→R, muitas vezes escrevemos algo como
{+}\colon R\times R\to R.
No entanto, presumo que talvez
\mathord+\colon R\times R\to R
é mais correto? Ou devo fazer algo totalmente diferente (talvez usar um \mathXcomando diferente)?
Responder1
Independentemente de você usar amsmathou não, o primeiro átomo a seguir +(normalmente umLixeiraátomo, operação binária), é umPontoátomo (pontuação).
Segundo o TeXbook, tabela da página 170, esta é uma combinação impossível, o que significa que+ é considerada neste caso como umaOrdemátomo. Portanto o espaçamento será o mesmo utilizado para f\colon, ou seja, sem acréscimo de espaço. A mesma tabela está na página 205 do TeX by Topic, reproduzida abaixo com as respectivas notas.
Com amsmathainda haverá um espaço de 2mu (mas o mesmo aconteceria com uma letra).
Em caso de dúvida, basta anexar oLixeiraátomo entre colchetes, o que o tornará umOrdemum. Adicionar \mathordna frente dele é o mesmo.