如何确定符号/命令是否是关系？

Question

我正在使用\sim二元运算符，并想知道以下两个哪一个是正确的：

\documentclass{article}
\begin{document}
    \[a \sim b\]
    \[a \mathrel{\sim} b\]
\end{document}

这引发了一个更普遍的问题：如何知道是否\mathrel需要特定的符号/命令？

Answer 1

你看一下定义。

> latexdef sim

\sim:
\mathchar"3218

首字母3表示这是一个关系符号。同样

> latexdef oplus

\oplus:
\mathchar"2208

告诉你这\oplus是一个二进制运算符号。

您还可以在 Scott Pakin 的“综合列表”中texdoc comprehensive或在 texdoc.org 上在线查找\sim表 89“二元关系”。

或者您可以做一个测试，它可以告诉您一个符号是 a\mathrel还是 a \mathbin（您会\relax在其他情况下得到）。

\documentclass{article}
\usepackage{amsmath}

\makeatletter
\newcommand{\BinOrRel}[1]{%
  \binrel@{#1}\texttt{\string#1 is \meaning\binrel@@}%
}
\makeatother

\begin{document}

\BinOrRel{\sim}

\BinOrRel{\oplus}

\BinOrRel{\sum}

\end{document}