3

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.

Martin Scharrer
  • 262,582
kloop
  • 9,684

2 Answers2

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
2

\llcorner from amsmath or \niv from nath, amongst others. Just look in the usual places.

Caramdir
  • 89,023
  • 26
  • 255
  • 291