Fuente TeX:
\models \alpha \leftrightarrow \beta