Symbols:Symbolic Logic/Biconditional

Biconditional

 * $\iff$

Biconditional.

A binary operation on two propositions.

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