TeX source:
( ( p ∨ q ) ∧ ¬ p ) ⊢ q