Template:Tee

$$\vdash$$

Turnstile (symbol)