TeX source:

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