TeX source:

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