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