Fuente TeX:

\models \varphi[\alpha/\$] \leftrightarrow \varphi[\beta/\$]