TeX source:
⊢ ( p ∨ ¬ p )