TeX source:

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