Fuente TeX:
\vdash , \to