TeX source:

p , q ⊢ ( p ∧ q )