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