У меня давно была мечта создать оператор «последовательного сравнения» для использования в моей домашней работе (в LaTeX). То есть, в каком-то длинном выводе мы могли бы захотеть узнать, как $a$ сравнивается с $b$, и хотя это полностью надумано, пример может выглядеть так:
\begin{align*}
a &? b \\
f(a) &? f(b) \\
f(a) &= f(b) \text{by assumption} \\
\implies a &= b
\end{align*}
То есть, мы начинаем с того, что «это сравнение должно быть последовательным на протяжении всего вывода», а потом мы видим, что ? (оператор сравнения) можно заменить на =. Эта нотация явно дрянная, и теперь, когда я больше работаю в группе, было бы неплохо иметь что-то более интуитивно понятное в графическом плане.
У меня есть несбыточная мечта о маленьком круге со знаком вопроса внутри или сверху. Проблема в том, что я понятия не имею, как сделать размер/выравнивание отдельных символов в макросах LaTeX. До сих пор я придумал
\def\mycomparator{\circ^{\!\!\!?}\,}
$a \mycomparator b$
(то есть маленький кружок с вопросительным знаком в верхнем индексе, сдвинутый назад на три позиции, затем немного правого дополнения, чтобы правильно разместить левую часть компаратора)
Хотя это работает, это не совсем то, что я ищу, и (что еще хуже) это бездарный, отвратительный хак.
Как я могу достичь этой цели?
Спасибо!