Fuente TeX:

\Gamma \vdash \alpha