TeX source:

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