TeX source:
(p\leftrightarrow q)