Fuente TeX:

\Leftrightarrow_{\text{def } \models}