If and Only If

Type it

Ways to write the If and Only If symbol
UnicodeU+21D4
LaTeX\Leftrightarrow
HTML entity⇔
Character⇔

Meaning

States that two statements imply each other, so they are either both true or both false. Compare with Implies and Left Right Arrow.

How to read it

P ⇔ Q

is read “P if and only if Q”.

More Logic symbols