TeX source:

( p ∧ q ) ⊢ p