При просмотре сложения на (скажем) кольцеркак картар×р→р, часто пишут что-то вроде
{+}\colon R\times R\to R.
Однако я предполагаю, что, возможно,
\mathord+\colon R\times R\to R
более правильно? Или мне следует сделать что-то совершенно другое (возможно, использовать другую \mathXкоманду)?
решение1
Независимо от того, используете вы amsmathили нет, первый атом, который следует за ним +(обычноКорзинаатом, бинарная операция), являетсяПунктатом (знак препинания).
Согласно таблице TeXbook на стр. 170, это невозможная комбинация, что означает, что +в данном случае она рассматривается какОрдатом. Таким образом, интервал будет таким же, как и тот, который используется для f\colon, то есть, без дополнительного пробела. Та же таблица находится на странице 205 TeX по темам, воспроизведена ниже с соответствующими примечаниями.
При этом amsmathвсе равно будет пробел в 2mu (но то же самое будет и с буквой).
В случае сомнений просто приложитеКорзинаатом в скобках, что превратит его вОрдодин. Добавление \mathordперед ним — то же самое.