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.

  • 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
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

| improve this answer | |
  • 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

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.