如何在 TikZ 中绘制 \mapsto？

Question

有谁知道如何在 TikZ 中\mapsto使用来绘制一条线？\draw[...]...

Answer 1

这使用来自的解决方案如何在 TikZ 中放大箭头并改变其颜色？调整箭头的大小。

\documentclass{article}
\usepackage{tikz}
\usetikzlibrary{decorations.markings}

\begin{document}
\[a \mapsto b\]

\begin{tikzpicture}
\draw [red, |->, decoration={markings,mark=at position 1 with {\arrow[scale=1.7,red]{>}}},
    postaction={decorate},
    shorten >=0.4pt
] (0,0) node [black,left] {$a$} -- (0.4,0) node [black,right] {$b$};
\end{tikzpicture}
\end{document}