Как сделать так, чтобы вокруг \circ всегда были пробелы?

Question

Вот код:

\documentclass{article}
\newcommand\op{\mathrel{\circ}}
\begin{document}
\noindent
$a = \op b$\\
$c \op d$
\end{document}

Я пытаюсь иметь оператор как \circ, и я хочу, чтобы он всегда был окружен пробелами. Однако, вот что я получаю (нет пробела между =и кругом):

Answer 1

TeX имеет несколько типов математических атомов:

• Орд \mathord
• Оп \mathop
• Корзина \mathbin
• Отн. \mathrel
• Открыть \mathopen
• Закрывать \mathclose
• Пункт \mathpunct
• Внутренний \mathinner

Правила размещения интервалов между атомами в этих классах поясняются в этой таблице из TeX по теме, стр. 205 (записи в скобках означают, что пробел вставляется только в \displaystyleили \textstyle).

Согласно правилам, обозначающим через T толстый пробел, а через ta тонкий пробел, ваш код выдает

а Т = ◦ Т б
с Т ◦ Т б

Если вам нужен «оператор», то \mathopэто ваш выбор.

\documentclass{article}
\newcommand\op{\mathop{\circ}\nolimits}

\begin{document}

$a = \op b$

$c \op d$

\end{document}

С этим кодом вы получаете

а Т = Т ◦ tb
ctd

Конечно, вы не используете \circдля композиции функций, не так ли?