TeX source:

( p ↔ q ) ⊣⊢ ( ( p ∧ q ) ∨ ( ¬ p ∧ ¬ q ) )