TeX source:

p\to (\neg p\to \neg \neg q)