Fuente TeX:
\alpha \vdash \alpha \rightarrow \beta