---
tag: 2QQMJMS8M5
kind: concept
name: Turnstile (symbol)
aliases: [left-tack, right-tack, turnstile-mathematical-logic, turnstile-symbol, vdash]
sources:
  - wikipedia: en:7954712@r1352986291
    locator: Turnstile (symbol)
    note: adopted
    mention: wikipedia://en/7954712
    sections: [Summary]
same_as:
  wikidata: Q7856108
  wikipedia: Turnstile (symbol)
inventory: [E4J2FPYT9W]
---

## Summary

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