Fuente TeX:

\gamma \vdash \alpha