Symbols:Symbolic Logic/Biconditional/Deprecated Symbols
Jump to navigation
Jump to search
Biconditional
Double Arrow
- $\leftrightarrow$
An alternative to $P \iff Q$.
The $\LaTeX$ code for \(P \leftrightarrow Q\) is P \leftrightarrow Q
.
Identity
- $\equiv$
An alternative to $P \equiv Q$.
The $\LaTeX$ code for \(P \equiv Q\) is P \equiv Q
.