TeX source:

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