TeX source:

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