Symbols:Symbolic Logic/Biconditional/Deprecated Symbols

From ProofWiki
Jump to navigation Jump to search

Biconditional

Double Arrow

$\leftrightarrow$

Biconditional.

An alternative to $P \iff Q$.


The $\LaTeX$ code for \(P \leftrightarrow Q\) is P \leftrightarrow Q .


Identity

$\equiv$

Biconditional.

An alternative to $P \equiv Q$.


The $\LaTeX$ code for \(P \equiv Q\) is P \equiv Q .