Fuente TeX:
\alpha \models \beta