TeX source:

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