Fuente TeX:
\alpha \vDash \varphi