LaTeX数学符号宏

Question

我一直有一个梦想，就是创建一个“一致比较”运算符来在我的作业中使用（在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$

（也就是一个带上标问号的小圆圈，向后移动三个位置，然后加上一些右边填充，以使比较符号左侧正确放置）

虽然这个功能可以实现，但并不完全符合我的要求，而且更糟糕的是，它是一种无才无能、令人恶心的黑客行为。

我该如何达成这个目标呢？

谢谢！

- kyle

Answer 1

根据LaTeX符号大全，您可以使用\textcircled{?}表示此符号。

- Chip Uni

---

太好了，谢谢！不过，用那个命令符号还是有些粗糙；无论如何，比我原来的更健壮。如果接下来一两天内没有更好的建议，我就会接受你的答案。 - kyle

Answer 2

请尝试以下操作（未经测试）：

\newcommand{\mycomparator}{\stackrel{?}{\circ}}

此外，还要查找\mathrel，它可用于将任意符号转换为正确的数学间距关系。

就数学而言，您的想法并不那么出色，因为不同的关系遵循不同的规则。例如，将不等式的两边乘以负数。

实际上，标准做法是使用大写字母R表示一般关系，即\mathrel{R}以获得适当的间距。如果需要更多，请使用后续字母或索引。

对于一般的传递关系，我会使用一些非标准比较符号，如\preceq或\prec，具体取决于它是否具有自反性。

\circ通常用于一般二元操作，或者用于函数组合。

- starblue

---

非常好，几乎就是我要找的。我同意这是一种有点不光彩的策略，但如果使用得当，它是一个相当有用的术语（而且肯定比“二元关系k(a,b)将继续保持...”更直观，尽管后者在逻辑上是正确的）。如果你小心地应用正向仿射变换，就没有伤害；事实上，根据你的说法，<和>的使用也不会那么明显，因为它们在反演下不成立。我认为符号适当地具有暗示性，在推导中使用了语句的等价性。总之... - kyle

我确实喜欢一个好的\succ、\prec等，但不幸的是这个问题的领域（我没有表达清楚）不允许它——我们已经使用\succ_i来表示各个消费者的潜在偏好关系。我认为保持一致并使用R是一个好主意，但再次——更多的借口——在这种情况下，R是经济的总禀赋，\bar{R}是其上限。愚蠢的经济学家，要在证明中保持变量的一致性。 - kyle

（而且这很严重——它会像没有人的业务一样嚼掉变量）虽然\circ 应该表示函数组合，在没有歧义的情况下，我认为在现有运算符上添加装饰器不会导致混淆。如果我写的是教科书而不是作业，可能会更加考虑，但是现在已经有足够多的关于\phi作为参数以及正态分布的概率密度函数的参考资料（在证明中保持一致\neq在证明内部保持一致），让我想要避免这种痛苦。 - kyle

Answer 3

如果你想要一个真正好看的符号，我猜你需要仔细设计一下，进行适当的缩放，比如使用问号的字体表示，并将圆形结合起来。

可以看看metapost或者spiro。

- Charles Stewart

---

事实上，那可能是“正确”的答案；然而，我真的想将其限制在现有工具（在我的计算机上）。 - kyle