TeX source:

p\to (\neg p\to q)