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