1

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.

5
  • How about \dashv? (Found it with Detexify)
    – albert
    Jan 22, 2019 at 17:24
  • Rotated or reflected?
    – egreg
    Jan 22, 2019 at 17:26
  • @egreg: reflected would eliminate the vertical alignment problem, is it possible? Jan 22, 2019 at 17:28
  • @albert dashv is another symbol, with only a horizontal line Jan 22, 2019 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, 2019 at 17:31

1 Answer 1

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}

enter image description here

2
  • Thank you. Perfect, this eliminate both problems. Is using $...$ equivalent to \ensuremath? Jan 22, 2019 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, 2019 at 17:33

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .