TeX source:

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