箭头

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

右箭头

符号	快捷键	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 中，你可以直接使用键盘上的常见字符组合（如 - > 等）来直接输入箭头符号。而在 LaTeX 中，每个箭头都需要特定的反斜杠命令，且拼写通常较长。

例如，在 LaTeX 中排版基本右单线和右双线箭头：

\rightarrow \quad \text{与} \quad \Rightarrow

对应的渲染效果如下：

$$\rightarrow \quad \text{与} \quad \Rightarrow$$

在 LaTeX 中，\to 是 \rightarrow 的简写，但在 Liii STEM 的公式解析器中是不支持 \to 这种简写形式的，推荐直接按键盘 - > 或输入完整命令。

对于双向箭头和映射箭头，Liii STEM 支持通过 < - > 和 \| - > 等直观的操作来创建。而在 LaTeX 中则需要分别输入：

\leftrightarrow \quad \text{和} \quad \mapsto

对应的渲染效果如下：

$$\leftrightarrow \quad \text{和} \quad \mapsto$$

此外，Liii STEM 允许通过对一个简单符号按 Tab 键（例如向上箭头）来循环切换向上与向下方向。而在 LaTeX 中，你必须分别声明完全不同的代码：

\uparrow \quad \text{与} \quad \downarrow

对应的渲染效果如下：

$$\uparrow \quad \text{与} \quad \downarrow$$

如果您已经有现成的 $\LaTeX$ 代码，也可以直接使用魔法粘贴到 Liii STEM 中进行转换。