TeX source:

( p ↔ q ) ⊣⊢ ( ( p → q ) ∧ ( q → p ) )