Source TeX:
\vdash