TeX source:

p ⊢ ( p ∨ q )