Rotated `vDash` symbol from `amssymb`

Question

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.

@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 https://tex.stackexchange.com/questions/114364/what-command-to-use-for-reversed-vdash gives an answer. One of the answers suggests: "Simply use \Dashv from mathabx package." — albert, Jan 22 '19 at 17:31

score 1 · Accepted Answer · answered Jan 22 '19 at 17:29

1

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}

answered Jan 22 '19 at 17:29

egreg

1,121,712

Thank you. Perfect, this eliminate both problems. Is using $...$ equivalent to \ensuremath? – PeptideChain Jan 22 '19 at 17:31
2

@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

Rotated `vDash` symbol from `amssymb`

1 Answers1