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