Fuente TeX:
\Gamma |= \alpha