TeX source:
( p ↔ q ) ⊣⊢ ( q ↔ p )