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