TeX source:

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