TeX source:

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