TeX source:

p\to (\neg q\to p)