TeX source:

⊢ ¬ ( p ∧ ¬ p )