loading tool…
The LaTeX command for Dashv (⫤) is \Dashv — double turnstile reverse.
\DashvWrite \Dashv inside math mode — that is, between $…$ for inline math or in a \[ … \] / equation block for display math. This symbol needs the amssymb package, so add \usepackage{amssymb} to your preamble.
Prefer to see it live? Paste it into the LaTeX preview and it renders as you type — no compiler, no signup.
Search all 380+ LaTeX symbols →
Use \Dashv in math mode after adding \usepackage{amssymb} to your preamble. For example, $p \Dashv q$.
It comes from the amssymb package — add \usepackage{amssymb} to your preamble.