In mathematical logic and computer science the symbol ⊢ (\vdash) 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".

Interpretations

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

Typography

In TeX, the turnstile symbol \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.

Similar graphemes