TeX source:

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