LaTeX 中的双线右箭头（\Rightarrow）

用途

输出向右的短双线箭头，是公式之间标准的蕴含符号。

\Rightarrow 表示一个公式蕴含另一个公式，如 p \Rightarrow q，并在等价性证明中标记正向 (\Rightarrow)。\implies 输出更长的 \Longrightarrow 并加上额外宽间距，适合完整命题之间的蕴含。概率论用 X_n \Rightarrow X 表示分布的弱收敛，项重写系统用它表示一步归约。布尔代数用它表示条件运算。当对象是命题而不是集合或函数时，优先用它而不是单线箭头 \to。

也收录于: 逻辑与证明, 布尔代数

最小可编译示例

将其粘贴到空白 .tex 文件中，用 pdfLaTeX、XeLaTeX 或 LuaLaTeX 编译。

\documentclass{article}
\begin{document}
Right Arrow (Double): $\Rightarrow$

\[ x > 2 \Rightarrow x^2 > 4 \]
\end{document}

相关符号

• 双线上箭头\Uparrow
• 双线左箭头\Leftarrow
• 双线长左箭头\Longleftarrow
• 下箭头\downarrow
• 双线长右箭头\Longrightarrow
• 长右箭头\longrightarrow

常见问题

如何在 LaTeX 中输入双线右箭头？

在数学模式中输入 \Rightarrow，例如 $x > 2 \Rightarrow x^2 > 4$。无需加载任何宏包即可在标准 LaTeX 中使用。

\Rightarrow 需要哪个宏包？

不需要。\Rightarrow 是标准 LaTeX 的一部分，导言区只需文档类即可编译。

\Rightarrow 能在文本模式中使用，还是只能用于数学模式？

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $\Rightarrow$。 如果只需要在正文中显示该字形，可以直接粘贴 Unicode 字符 ⇒（需使用 XeLaTeX 或 LuaLaTeX 以及包含该字形的字体）。