TeX source:
\{p\to q,q\to p\}\vdash (p\leftrightarrow q)