Fuente TeX:
\Gamma \not\models \alpha