[Tex/LaTex] latex symbol for “if and only if”


In LaTeX the symbol for material implication is produced by $\to$, but for biconditional ?

Best Answer

LaTeX defines \to as \rightarrow:

\let\to\rightarrow % fontmath.ltx

The other direction is \gets:


For \leftrightarrow you can define your own command, e.g. \biconditional:

\[ 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 \]



  • \iff adds some extra space (from fontmath.ltx):

  • The example also shows some other arrow variants.

Related Question