如何绘制带有箭头的旋转栅门？

Question

我想画一个带箭头的旋转栅门。它看起来就像图中所示的那样。有没有什么命令可以实现它？

Answer 1

您可以使用普通的\vdash旋转栅门来建造一个。

\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{graphicx}
\newcommand{\turnstile}{%
    \mathrel{%
        \vdash\hspace*{-5pt}%
        \raisebox{2.65pt}{\scalebox{.33}{\(\blacktriangleright\)}}%
    }%
}
\begin{document}
\( \Gamma \turnstile t : T \)
\end{document}