☰

“当且仅当”的乳胶符号

tag-icon • tag-icon symbols math-operators logic
“当且仅当”的乳胶符号

在 LaTeX 中，表示实质蕴涵的符号由 产生$\to$，但对于双条件的？

答案1

LaTeX 定义\to为\rightarrow：

\let\to\rightarrow % fontmath.ltx

另一个方向是\gets：

\let\gets\leftarrow

您\leftrightarrow可以定义自己的命令，例如\biconditional：

\documentclass{article}
\let\biconditional\leftrightarrow
\begin{document}
\[ A \to B \biconditional C \gets D \]

\[ A \rightarrow B \leftrightarrow C \leftarrow D \]
\[ A \longrightarrow B \longleftrightarrow C \longleftarrow D \]

\[ A \Rightarrow B \Leftrightarrow C \Leftarrow D \]
\[ A \Longrightarrow B \Longleftrightarrow C \Longleftarrow D \]
\[ B \iff C \]
\end{document}

结果

评论：

  • \iff添加了一些额外的空间（来自fontmath.ltx）：

    \DeclareRobustCommand\iff{\;\Longleftrightarrow\;}

  • 该示例还显示了一些其他箭头变体。

答案2

您可以使用\Leftrightarrow或\Longleftrightarrow

\documentclass{article}
\begin{document}
$ \Leftrightarrow \Longleftrightarrow $
\end{document}

在此处输入图片描述

你可能还想将以下内容添加为书签：https://oeis.org/wiki/List_of_LaTeX_mathematical_symbols

答案3

双线：

  • \iff（= \Leftrightarrow）或
  • \longLeftrightarrow或者
  • \xLeftrightarrow（可扩展，加载mathtools包）

单线：

  • \leftrightarrow或者
  • \longleftrightarrow或者
  • \xleftrightarrow（可扩展，加载mathtools包）

相关内容