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