\rightdasharrow 与 \dashrightarrow

Question

amsfonts有\dashrightarrow（即\mathrel），而unicode-math（使用 stix/xits）有\rightdasharrow（即\mathord）。此外，符号的形式也略有不同。

就我的文档而言，我无法想象我会同时使用这两种箭头。我想知道是否有理由创建一个新的宏而不是简单地替换旧宏的定义。

顺便问一下，符号 X⇢Y 难道不应该只是表示从 X 到 Y 的部分映射集，因此 ⇢ 是二元运算符（而不是关系）吗？普通箭头 →（非虚线）也是如此。有没有将 → 和 ⇢ 用作关系的上下文？

交叉发布：http://latex.org/forum/viewtopic.php?t=32988

Answer 1

事实上并非amsfonts如此amssymb

amsfonts如果检测到包stix已加载，则

\DeclareMathSymbol{\dabar@}{\mathord}{AMSa}{"39}
\xdef\dashrightarrow{\mathrel{\dabar@\dabar@
                          \mathchar"0\hexnumber@\symAMSa 4B}}%
\xdef\dashleftarrow{\mathrel{\mathchar"0\hexnumber@\symAMSa 4C\dabar@
                          \dabar@}}%
\global\let\dasharrow\dashrightarrow

因此两个名称\dasharrow均\dashrightarrow具有相同的定义。

最好将其视为\mathrel“像=”一样间隔开，而不是“是一种数学关系”，并且箭头通常比典型的二元关系获得更多的空间，+即使\mathrel这在数学上是可疑的。