У меня давно была мечта о создании оператора "согласованного сравнения" для использования в моей домашней работе (в 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$
(то есть маленький кружок с надстрочным знаком вопроса, смещенный в обратном направлении на три позиции, затем немного правого отступа, чтобы правильно расположить левую часть компаратора)
Хотя это работает, это не совсем то, что я ищу, и (что еще хуже) - бездарный, отвратительный взлом.
Как мне достичь этой цели?
Спасибо!