创建混合 Mapsto/Leadsto 箭头

Question

我有一个构造，它不是函数，但会产生在域上以不同方式分配的值（以错误定义的方式）。我可以将其写为A \leadsto B。我想将a \in Anot 发生的事情写为a \mapsto bbut，并且\leadsto用以小竖线开头的箭头\mapstochar。我已经加载了extpfeil包，所以stmaryrd不起作用。我该怎么办？

Answer 1

使用\mapstochar和\leadsto，很简单！只需进行小幅修正即可隐藏凸起。

\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}

$a\mapstochar\mathrel{\mspace{0.45mu}}\leadsto b$

\end{document}

当然，您需要为其定义一个宏：

\newcommand{\foo}{\mapstochar\mathrel{\mspace{0.45mu}}\leadsto}

如果你加载latexsym而不是amssymb，那么需要更多的空间

\documentclass{article}
\usepackage{amsmath,latexsym}
\begin{document}

$a\mapstochar\mathrel{\mspace{1.75mu}}\leadsto b$

\end{document}