\gets 和 \leftarrow 之间有什么区别吗

Question

\rightarrow同样，和之间有什么区别吗\to？据我所知，它们只是别名。

Answer 1

fontmath.ltx（由 生成fontdef.dtx）定义

\DeclareMathSymbol{\leftarrow}{\mathrel}{symbols}{"20}
  \let\gets=\leftarrow
\DeclareMathSymbol{\rightarrow}{\mathrel}{symbols}{"21}
  \let\to=\rightarrow

所以它们打印出来的效果完全一样字形采用 LaTeX 格式。

编辑正如 clemens 指出的那样，语义上存在差异。我在处理函数时使用\toand ，例如\gets

$f\colon A \to B$

另一方面，如果我必须定义一些包含向右箭头的符号，我永远不会使用，\to而是使用\rightarrow。