Fuente TeX:
\alpha \vdash \varphi