TeX source:

(p\leftrightarrow q)\vdash (p\to q)