TeX source:
\{\neg p\}\vdash (p\to r)