TeX source:
(p\to q)