Fuente TeX:

\varphi \vdash \varphi