Fuente TeX:
\Gamma \models \alpha