TeX source:

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