TeX source:

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