Symbols:Symbolic Logic/Deprecated Symbols/Biconditional

Biconditional

 * $\leftrightarrow$

Biconditional.

A binary operation on two propositions.

$P \leftrightarrow Q$ means $P$ is true $Q$ is true.

An alternative to $P \iff Q$, which is what is generally used nowadays by logicians.