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