TeX source:
(p\to \neg q)