---
title: Liii STEM 箭头符号参考 - 映射蕴含极限
description: Liii STEM 箭头符号完整参考，详解函数映射、逻辑蕴含、极限趋势、等价关系等不同场景下的箭头类型选择、快捷键输入与排版规范。
---

> ## Documentation Index
> Fetch the complete documentation index at: https://liiistem.cn/docs/llms.txt
> Use this file to discover all available pages before exploring further.


# 箭头

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

## 右箭头

|       符号        |   快捷键    |       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 中排版基本右单线和右双线箭头：

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

对应的渲染效果如下：

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

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

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

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

对应的渲染效果如下：

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

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

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

对应的渲染效果如下：

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

**如果您已经有现成的 $\LaTeX$ 代码，也可以直接使用[魔法粘贴](../tutorial/tuto-magic-paste.md)到 Liii STEM 中进行转换。**