Vdash in LaTeX

The LaTeX command for vdash (⊢) is \vdash — proves / turnstile.

\vdash

Relations · Unicode ⊢ (U+22A2) · no package needed

How to type Vdash

Write \vdash inside math mode — that is, between $…$ for inline math or in a \[ … \] / equation block for display math. It is part of core LaTeX math, so no extra package is required.

Example

$a \vdash b$

a \vdash b

Prefer to see it live? Paste it into the LaTeX preview and it renders as you type — no compiler, no signup.

Related Relations symbols

=\neq<>\leq\geq\leqslant\geqslant\ll\gg\equiv\sim\simeq\approx

Search all 380+ LaTeX symbols →

FAQ

How do you write vdash (⊢) in LaTeX?

Use \vdash in math mode — it needs no extra package. For example, $a \vdash b$.

Which package provides \vdash?

None — \vdash is built into LaTeX's math mode, so no extra package is required.

loading tool…