Is there a mirror symbol for the $\neg$ symbol, or a symbol like $\vdash$ without the bottom part of the vertical line? I couldn't find it.
Thanks.
Asked
Active
Viewed 1,828 times
3
Martin Scharrer
- 262,582
kloop
- 9,684
2 Answers
2
If you want something with the exact same proportions, you could rotate the original symbol
\documentclass{article}
\usepackage{graphicx}
\newcommand{\rotatedneg}{\rotatebox[origin=c]{180}{\ensuremath\neg}}
\begin{document}
\[
\neg \rotatedneg \vdash
\]
\end{document}
Ian Thompson
- 43,767
-
what about vdash without the bottom part, instead of neg which removes the upper part? – kloop Mar 15 '11 at 01:41
-
@kloop sorry, I misinterpreted your question. I have edited my answer. – Ian Thompson Mar 15 '11 at 13:21