Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

I want to use a symbol similar to

$\vDash$ 

but reversed (like if it's mirrored against an imaginary vertical line). I cannot find such a symbol anywhere. I have used detexify too but no luck there either.

Do you know what command and package I should use?

share|improve this question

3 Answers 3

up vote 8 down vote accepted

Constructed symbol

If the font does not provide the symbol, the mirroring can be done with package graphicx:

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

\makeatletter
\providecommand*{\Dashv}{%
  \mathrel{%
    \mathpalette\@Dashv\vDash
  }%
}
\newcommand*{\@Dashv}[2]{%
  \reflectbox{$\m@th#1#2$}%
}
\makeatother

\begin{document}
\[ A \vDash B \Dashv C \]
\end{document}

Result

Remark:

  • The stuff with \mathpalette ensures that the symbol is properly scaled if it is used in different contexts (as index, in fractions, …).

Font package MnSymbol

If package MnSymbol is loaded (it also changes other math symbols), then the symbol is available as \leftmodels:

\documentclass{article}
\usepackage{MnSymbol}
\begin{document}
\[ A \leftmodels B \]
\end{document}

Result MnSymbol

Font package mathabx

If package mathabx is used (also changes other math symbols), then the symbol is called \Dashv:

\documentclass{article}
\usepackage{mathabx}
\begin{document}
\[ A \Dashv B \]
\end{document}

Result mathabx

share|improve this answer
    
Yeah, that's wonderful! Thanks :-) –  Shahab May 15 '13 at 7:45
    
+1: wow, I learned something new! \mathpalette looks like a nifty little tool. :) –  Count Zero May 15 '13 at 8:41

This would be the logicians' way, I think. Note that the project authors made a deliberate decision not to adjust the length of the vertical lines according to context. Horizontal lengths are adjusted depending on what is above and below them, for example.

\documentclass{article}
\usepackage{turnstile}

\begin{document}

\[
  A \sdtstile{}{} B
\]
\[
  A \ndststile{}{} B
\]

\end{document}

Two turnstiles

The advantage of using turnstile, as far as I can see, is that it is extremely flexible and can produce pretty much any turnstile you might want. It also works hard to get the spacing right when something is required above or below the horizontal. (Commands such as \vDash don't adjust the spacing and line lengths correctly.)

share|improve this answer

I'm not sure where it comes from, but on my setup, \dashv works.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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