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 at 17:24
  • Rotated or reflected? – egreg Jan 22 at 17:26
  • @egreg: reflected would eliminate the vertical alignment problem, is it possible? – PeptideChain Jan 22 at 17:28
  • @albert dashv is another symbol, with only a horizontal line – PeptideChain Jan 22 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 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

  • Thank you. Perfect, this eliminate both problems. Is using $...$ equivalent to \ensuremath? – PeptideChain Jan 22 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 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.