Fuente TeX:
\beta \models \alpha