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