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