In mathematical logic and computer science the symbol ⊢ (${\displaystyle \vdash }$) has taken the name turnstile because of its resemblance to a typical turnstile. It is also referred to as tee and is often read as "yields", "proves", "satisfies" or "entails".

The turnstile represents a binary relation. It has several different interpretations in different contexts:

In TeX, the turnstile symbol ${\displaystyle \vdash }$ is obtained from the command \vdash.

In Unicode, the turnstile symbol (⊢) is called right tack and is at code point U+22A2. (Code point U+22A6 is named assertion sign (⊦).)

On a typewriter, a turnstile can be composed from a vertical bar (|) and a dash (–).

In LaTeX there is a turnstile package which issues this sign in many ways, and is capable of putting labels below or above it, in the correct places.