乳胶数学符号宏

很久以来,我一直梦想着创建一个“一致比较”操作符,用于我的家庭作业(乳胶作业)。也就是说,在一些长的推导过程中,我们可能想知道$A$与$B$的比较方式,尽管这完全是人为的,但一个示例可能会

\begin{align*}
    a &? b \\
    f(a) &? f(b) \\
    f(a) &= f(b) \text{by assumption} \\
    \implies a &= b
\end{align*}

也就是说,我们首先说,“在整个推导过程中,这种比较应该是一致的”,然后我们会看到这一点吗?(比较运算符)可以替换为=。这个符号显然是蹩脚的,现在我在做更多的小组工作,有一些更图形直观的东西会更好。

我有一个关于一个小圆圈的梦想,里面或上面有一个问号。问题是,我不知道如何在乳胶宏中调整单个字符的大小/对齐方式。到目前为止,我想出了

\def\mycomparator{\circ^{\!\!\!?}\,}
$a \mycomparator b$

(也就是说,一个带有上标问号的小圆圈,将三个位置向后移动,然后用一些右填充来正确放置比较器的左侧)

虽然这个功能,但它并不是我想要的,而且(更糟的是)是一个愚蠢、恶心的黑客。

我怎样才能实现这个目标?

谢谢!