箭头

箭头在数学中有多种语义：函数映射、逻辑蕴含、极限趋势、化学反应方向等。正确选择箭头类型是专业排版的重要细节。

右箭头

符号	快捷键	LaTeX
$\rightarrow$	- >	\rightarrow
$\longrightarrow$	- - >	\longrightarrow
$\Rightarrow$	= >	\Rightarrow
$\Longrightarrow$	= = >	\Longrightarrow
$\nrightarrow$	- > /	\nrightarrow
$\nRightarrow$	= > /	\nRightarrow

$\rightarrow$（单线箭头）用于函数定义和映射关系：

$$f: \mathbb{R} \rightarrow \mathbb{R}, \quad x \mapsto x^2$$

$\Rightarrow$（双线箭头）用于逻辑蕴含和定理推导：

$$x > 0 \Rightarrow x^2 > 0$$

$\longrightarrow$（长单线箭头）用于化学反应和极限过程：

\ce{2H_2 + O_2 \longrightarrow 2H_2O}

$\nrightarrow$ 和 $\nRightarrow$ 用于否定关系：

$$x > 0 \nRightarrow x > 1$$

左箭头

符号	快捷键	LaTeX
$\leftarrow$	< -	\leftarrow

用于逆向映射或赋值方向：

$$y \leftarrow f(x) \quad \text{（将 } f(x) \text{ 的值赋给 } y \text{）}$$

双向箭头

符号	快捷键	LaTeX
$\leftrightarrow$	< - >	\leftrightarrow

用于等价关系或双向映射：

$$A \leftrightarrow B \quad \text{（} A \text{ 与 } B \text{ 等价）}$$

上下箭头

符号	快捷键	LaTeX
$\uparrow$	< - Tab	\uparrow
$\downarrow$	< - Tab	\downarrow
$\updownarrow$	< - > Tab	\updownarrow

连续按 Tab 可在上下箭头间切换。用于化学反应中的气体生成或沉淀：

\ce{CaCO_3 \xrightarrow{\Delta} CaO + CO_2 \uparrow}

映射箭头

符号	快捷键	LaTeX
$\mapsto$	| - >	\mapsto
$\longmapsto$	| - - >	\longmapsto

$\mapsto$ 表示元素级别的映射：

$$f: \mathbb{R} \to \mathbb{R}, \quad x \mapsto x^2$$

$\rightarrow$ 用于集合之间的映射：$f: A \to B$。$\mapsto$ 用于元素到元素的映射：$x \mapsto f(x)$。

特殊箭头

符号	快捷键	LaTeX
$\leadsto$	~ >	\leadsto
$\curvearrowright$	输入 curvearrowright 后回车	\curvearrowright
$\curvearrowleft$	输入 curvearrowleft 后回车	\curvearrowleft

$\leadsto$ 表示"趋近于"或"导致"：

$$x \leadsto y \quad \text{（} x \text{ 趋近于 } y \text{）}$$

函数映射优先使用 $\rightarrow$ 而非 $\Rightarrow$。逻辑推导必须使用 $\Rightarrow$（双线）。化学反应使用 $\longrightarrow$ 表示反应方向。否定箭头（$\nrightarrow$）在否定命题时比普通斜杠更清晰。

选读：与 LaTeX 的对比

Liii STEM 中输入 - > 自动识别为 $\rightarrow$，无需切换输入法。LaTeX 中 \to 是 \rightarrow 的简写，Liii STEM 不支持 \to 简写，必须完整输入或按快捷键。< - > 创建双向箭头。LaTeX 中使用 \leftrightarrow。\| - > 创建映射箭头。LaTeX 中使用 \mapsto。连续按 Tab 可在上下箭头间切换。LaTeX 中需要分别输入 \uparrow 和 \downarrow。