TeX source:
(p\to (q\to p))