# How to draw a turnstile with an arrow?

I'd like to draw a turnstile with an arrow. It looks like what is shown in the picture. Is there any command for it?

You could build one from a regular \vdash turnstile.

\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}

• Thanks a lot. This is exactly what I want. – user707499 Apr 15 '20 at 15:19