# Rotated vDash symbol from amssymb

I'm trying to rotate the \vDash symbol from amssymb:

\documentclass{article}
\usepackage{graphicx}
\usepackage{amssymb}
\newcommand{\vDashR}{\rotatebox[origin=c]{180}{\ensuremath\vDash}}
\begin{document}

$\Sigma\vDash\vDashR\Gamma$
\end{document}


The rotation comes from here.

With Detexify, I find no predefined symbol.

My problem is that the whole thing is not correctly spaced, and if my eyes are correct, the two symbols are not even perfectly aligned.

• How about \dashv? (Found it with Detexify) – albert Jan 22 '19 at 17:24
• Rotated or reflected? – egreg Jan 22 '19 at 17:26
• @egreg: reflected would eliminate the vertical alignment problem, is it possible? – PeptideChain Jan 22 '19 at 17:28
• @albert dashv is another symbol, with only a horizontal line – PeptideChain Jan 22 '19 at 17:28
• I indeed I missed the capital D of \vDash. Maybe the question tex.stackexchange.com/questions/114364/… gives an answer. One of the answers suggests: "Simply use \Dashv from mathabx package." – albert Jan 22 '19 at 17:31

Rather than rotating it, reflect it:

\documentclass{article}
\usepackage{graphicx}
\usepackage{amssymb}

\newcommand{\vDashR}{\mathrel{\reflectbox{$\vDash$}}}

\begin{document}

$\Sigma\vDash \sigma \vDashR\Gamma$

\end{document}


• Thank you. Perfect, this eliminate both problems. Is using $...$ equivalent to \ensuremath? – PeptideChain Jan 22 '19 at 17:31
• @PeptideChain There's no reason for using \ensuremath in that case. The contents of \reflectbox is typeset in text mode, so we need to enter math mode. – egreg Jan 22 '19 at 17:33