Double turnstile in LaTeX

The LaTeX command for vDash (⊨) is \vDash (semantic entailment).

\vDash

Logic · Unicode ⊨ (U+22A8) · needs amssymb

How to type Double turnstile

Write \vDash inside math mode, that is between $…$ for inline math or in a \[ … \] or equation block for display math. This symbol needs the amssymb package, so add \usepackage{amssymb} to your preamble.

Example

$p \vDash q$

p \vDash q

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

Related Logic symbols

\forall\exists\nexists\neg\land\lor\top\bot\therefore\because\lozenge\square\Dashv\Vdash

Search all 380+ LaTeX symbols →

FAQ

How do you write vDash (⊨) in LaTeX?

Use \vDash in math mode after adding \usepackage{amssymb} to your preamble. For example, $p \vDash q$.

Which package provides \vDash?

It comes from the amssymb package: add \usepackage{amssymb} to your preamble.

loading tool…