In mathematical logic and computer science the symbol ⊢ () has taken the name turnstile because of its resemblance to a typical turnstile if viewed from above. 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 is obtained from the command \vdash.
In Unicode, the turnstile symbol (⊢) is called right tack and is at code point U+22A2.[15] (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.[16]