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