用于定义函数的箭头符号。垂直线连接到箭头的尾部（没有尖端的端点）

Question

我在类型理论与形式证明：简介

我如何使用 Tex 描绘（绘制）它？

我浏览过以寻找它但是失败了。

Answer 1

\mapsto只需在数学模式下使用。

我现在知道这个符号是用于绘图的。