In mathematical logic and computer science the symbol ⊢ (
It is also referred to as tee and is often read as "yields", "proves", "satisfies" or "entails".
In Unicode, the turnstile symbol (⊢) is called right tack and is at code point U+22A2.
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.