LaTeX 中的双线长左箭头（\Longleftarrow）

用途

输出向左的长双线箭头；加上间距后就是“被蕴含”符号。

\Longleftarrow 是 \impliedby 背后的字形，\impliedby 在其两侧加上较宽的间距，用于完整命题之间。若想要不带这些留白的长箭头，例如在表格中紧凑的推导链里，请直接使用 \Longleftarrow。在证明中它可以引出逆向部分 (\Longleftarrow)。它向右的孪生符号 \Longrightarrow 是 \implies 的基础，双向的 \Longleftrightarrow 是 \iff 的基础。避免在同一个证明中混用短箭头和长箭头。当较强的假设位于右侧时，逆向箭头读起来最自然。

最小可编译示例

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

\documentclass{article}
\begin{document}
Long Left Arrow (Double): $\Longleftarrow$

\[ x^2 = 4 \Longleftarrow x = 2 \]
\end{document}

相关符号

• 双线长右箭头\Longrightarrow
• 双线上箭头\Uparrow
• 双线下箭头\Downarrow
• 双线右箭头\Rightarrow
• 左右箭头\leftrightarrow
• 双线左箭头\Leftarrow

常见问题

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

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

\Longleftarrow 需要哪个宏包？

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

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

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