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