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