TeX source:

p\to (q\to p)