\to和属于哪一类符号\mapsto——mathbin 或 mathrel？
（抱歉，我问了这么基础又幼稚的问题！）
我非常确定用法表明它们应该是 mathrel，但是在一些关于重新定义的帖子中\to，我看到的是 mathbin。
答案1
\to和\mapsto由 LaTeX 内核定义。它们的定义可以在文件中找到fontmath.ltx：
\DeclareMathSymbol{\rightarrow}{\mathrel}{symbols}{"21}
\let\to=\rightarrow
\DeclareMathSymbol{\mapstochar}{\mathrel}{symbols}{"37}
\def\mapsto{\mapstochar\rightarrow}
如你所见，\to只是 的同义词\rightarrow，它被定义为\mathrel。另一方面，\mapsto是通过并列两个关系符号获得的，\mapstochar并且\rightarrow；两个关系符号的并列充当单个关系符号是 TeX 的一个低级特性。
请注意，有一个名为的命令latexdef，您可以从命令行执行该命令来找出 LaTeX 命令的定义（有关更多详细信息，请运行
latexdef -h
总是从命令行）。现在，运行
latexdef \to
返回
\to:
\mathchar"3221
\the\to:
12833
您可以看到 被\to定义为第 3 类符号（您必须查看 后面的数学代码的第一个十六进制数字\mathchar），即关系符号。如果\to是二元运算符，答案将是
\to:
\mathchar"2221
相反。类似的评论也适用于\mapstochar。