Forces symbol in LaTeX

The LaTeX command for Vdash (⊩) is \Vdash (forces).

\Vdash

Logic · Unicode ⊩ (U+22A9) · needs amssymb

How to type Forces symbol

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…