LaTeX 中的映射箭头（\mapsto）

用途

输出带竖线尾的箭头，表示函数把单个元素映到何处，如 x ↦ x²。

对元素用 \mapsto，对集合用 \to：f : \mathbb{R} \to \mathbb{R},\ x \mapsto x^2 同时给出了定义域、陪域和对应法则。λ 演算和函数式编程论文用它表示匿名函数，语义学则把替换或环境更新写成 [x \mapsto v]。它与 \to 的区别只在于尾部的小竖线，所以请确保它在小字号下也能清晰显示。对于较长的表达式，请使用 \longmapsto。在交换图中，元素层面的箭头也画成带竖线尾的形式。

也收录于: 函数与映射, 计算机科学

最小可编译示例

将其粘贴到空白 .tex 文件中，用 pdfLaTeX、XeLaTeX 或 LuaLaTeX 编译。

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Maps To: $\mapsto$

\[ f : \mathbb{R} \to \mathbb{R}, \quad x \mapsto x^2 + 1 \]
\end{document}

相关符号

• 长映射箭头\longmapsto
• 双线上下箭头\Updownarrow
• 东北箭头\nearrow
• 双线长左右箭头\Longleftrightarrow
• 左钩箭头\hookleftarrow
• 双线左右箭头\Leftrightarrow

常见问题

如何在 LaTeX 中输入映射箭头？

在数学模式中输入 \mapsto，例如 $f : \mathbb{R} \to \mathbb{R}, \quad x \mapsto x^2 + 1$。无需加载任何宏包即可在标准 LaTeX 中使用。

\mapsto 需要哪个宏包？

不需要。\mapsto 是标准 LaTeX 的一部分，导言区只需文档类即可编译。

\mapsto 能在文本模式中使用，还是只能用于数学模式？

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $\mapsto$。 如果只需要在正文中显示该字形，可以直接粘贴 Unicode 字符 ↦（需使用 XeLaTeX 或 LuaLaTeX 以及包含该字形的字体）。