负号的镜像？

Question

有没有镜像符号$\neg$，或者没有垂直线底部的符号$\vdash$？我找不到。谢谢。

Answer 1

\llcorner来自amsmath或\niv来自nath，等等。只是在常见的地方寻找。

Answer 2

如果你想要完全相同比例的东西，你可以旋转原始符号

\documentclass{article}
\usepackage{graphicx}
\newcommand{\rotatedneg}{\rotatebox[origin=c]{180}{\ensuremath\neg}}
\begin{document}
\[
\neg \rotatedneg \vdash
\]
\end{document}