How to draw a turnstile with an arrow?

Question

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?

Have a look at “How to look up a symbol?” for ideas how you can easily find a particular symbol. — Alessandro Cuttin, Apr 15 '20 at 14:36
Does this answer your question? How to look up a symbol or identify a math symbol or character? — Alessandro Cuttin, Apr 15 '20 at 14:39
@barbarabeeton Maybe the vertical line on the left is longer. — user707499, Apr 15 '20 at 15:11

score 2 · Accepted Answer · answered Apr 15 '20 at 15:10

2

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}

answered Apr 15 '20 at 15:10

Vincent

20,157

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

How to draw a turnstile with an arrow?

1 Answers1