3

我一直梦想创建一个“一致的比较”运算符用于我的作业（在 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$

（即，一个带有上标问号的小圆圈，后移三个位置，然后进行一些右填充以正确放置比较器的左侧）

虽然这个功能，但它并不是我想要的，而且（更糟糕的是）是一个没有天赋、令人作呕的黑客。

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

谢谢！

4

3 回答 3

3

根据The Comprehensive LaTeX Symbol List，您可以使用\textcircled{?}这个符号。

于 2009-12-03T06:38:27.637 回答
3

尝试以下（未测试）：

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

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

从数学上讲，您的想法并不那么出色，因为不同的关系遵循不同的规则。例如，将不等式的两边都乘以一个负数。

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

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

\circ 通常用于一般的二元运算或函数组合。

于 2009-12-03T07:28:57.003 回答
2

如果您想要一个实际上看起来不错的符号，那么我猜您将需要正确设计一些东西，并进行适当的缩放，例如使用问号的字体表示，并合并圆圈。

看看 metapost 或spiro。

于 2009-12-03T15:31:41.230 回答