TeX source:
(p\land q)\vdash q