LaTeX 中的双线左箭头（\Leftarrow）

用途

输出向左的短双线箭头，读作“被……蕴含”，或标记证明中的逆向部分。

在等价性证明中，作者把两个方向标为 (\Rightarrow) 和 (\Leftarrow)，后者证明逆命题。在公式之间，A \Leftarrow B 表示 B 蕴含 A。若要在完整命题之间使用带间距的长箭头，\impliedby 给出带额外间距的 \Longleftarrow，与 \implies 相对应。快速阅读时注意不要把 \Leftarrow 与 \leq 混淆，有些读者会看错形状。逻辑学教材更常调整顺序以使用右箭头，因此请把 \Leftarrow 留给逆向证明。

也收录于: 逻辑与证明

最小可编译示例

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

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Left Arrow (Double): $\Leftarrow$

\[ (\Leftarrow)\ \text{Suppose } n^2 \text{ is even. Then } n \text{ is even.} \]
\end{document}

相关符号

• 双线右箭头\Rightarrow
• 下箭头\downarrow
• 双线上箭头\Uparrow
• 长右箭头\longrightarrow
• 双线长左箭头\Longleftarrow
• 长左箭头\longleftarrow

常见问题

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

在数学模式中输入 \Leftarrow，例如 $(\Leftarrow)\ \text{Suppose } n^2 \text{ is even. Then } n \text{ is even.}$。无需加载任何宏包即可在标准 LaTeX 中使用。

\Leftarrow 需要哪个宏包？

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

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

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