Fuente TeX:

\Gamma \vDash \alpha