TeX source:

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