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