LaTeX 箭头符号大全与用法

LaTeX 箭头不只区分方向，还承担语义：极限趋向常用 \to，逻辑推出常用 \Rightarrow，函数将具体元素送到像时用 \mapsto。需在箭头上方写反应条件或推导标记时，用 \xrightarrow{...}。

常用箭头命令与语义

命令	渲染说明	常用场合
\to	向右单箭头	极限趋向、到达
\rightarrow	向右单箭头	一般方向关系
\leftarrow	向左单箭头	反向关系
\leftrightarrow	左右双向单箭头	双向关系、往返
\Rightarrow	向右双线箭头	逻辑推出
\Leftarrow	向左双线箭头	反向推导
\Leftrightarrow	左右双线箭头	等价、当且仅当
\mapsto	尾部带竖线的右箭头	元素映射到像
\longrightarrow	较长的向右箭头	需要视觉间距的关系
\Longrightarrow	较长的向右双线箭头	长形推出记号
\uparrow	向上箭头	增长、上升或特定符号
\downarrow	向下箭头	下降或特定符号

\to 和 \rightarrow 通常显示为同一字形，区别主要在源码可读性。在极限中写 x \to 0 能让读者一眼看出“趋向”；在对称列举方向箭头时，\leftarrow 与 \rightarrow 更整齐。

趋向、推出和映射不要混用

x \to 0
\qquad
P \Rightarrow Q
\qquad
x \mapsto x^2

渲染后依次表示 x 趋向 0、命题 P 推出命题 Q，以及元素 x 映射为 x 的平方。

函数声明中，f:A\to B 表示 f 的定义域为 A、到达 B，而 x\mapsto f(x) 说明一个具体元素如何变换。逻辑中的双线箭头是关系记号，不是为了让箭头更醒目而随意加粗。

在同一文章中，可以在符号约定处明确每类箭头的含义。尤其当化学反应、算法状态转移和逻辑推导同时出现时，统一语义比单纯统一长度更重要。

带文字、长箭头与否定箭头

\xrightarrow 可根据标注宽度自动伸长。例如在推导或化学反应条件中标记 Delta：

A \xrightarrow{\Delta} B

渲染后 A 与 B 之间是一条向右箭头，箭头上方标有 Δ。

需要同时写上下条件时，可加可选参数：

A \xrightarrow[\text{condition}]{\Delta} B

渲染后箭头上方是 Δ，下方是文本 condition。

长箭头如 \longrightarrow、\Longleftrightarrow 有固定较长字形，带标注时优先用可伸缩的 \xrightarrow。否定关系可用：

A \nrightarrow B
\qquad
P \nRightarrow Q

渲染后分别是带斜杠的向右单箭头，以及带斜杠的向右双线箭头。

不确定箭头字形和语义是否匹配时，可在 MathType LaTeX 符号面板 的箭头分类中点选并实时预览，再回到上下文检查数学含义。

FAQ

to 和 rightarrow 有什么区别？

二者在标准 LaTeX 中通常渲染为同样的向右单箭头。\to 在极限和趋向表达中更简洁，\rightarrow 则与 \leftarrow 等命名对称。

xrightarrow 为什么无法渲染？

完整 LaTeX 文档中通常需要 amsmath 支持该命令。同时检查标注内容是否放在花括号中。

如何表示不推出或不映射？

可使用 \nRightarrow 表示不推出，\nrightarrow 表示否定的向右箭头。否定记号要与语句逻辑一致，不要只用来表示视觉上的“删除”。