TeX source:
\{p,p\to q\}\vdash q