Fuente TeX:
\vdash