TeX source:
\neg \neg p\vdash p