---
tag: GR1M6B5J9C
kind: concept
name: Double turnstile
sources:
  - wikipedia: en:25438007@r1274524285
    locator: Double turnstile
    note: adopted
    mention: wikipedia://en/25438007
    sections: [Summary]
same_as:
  wikidata: Q5300115
  wikipedia: Double turnstile
inventory: [A4YB0EP26Q]
---

## Summary

In logic, the symbol ⊨, ⊧ or $\models$ is called the **double turnstile**. It is often read as "entails", "models", "is a **semantic** **consequence** of" or "is stronger than". It is closely related to the turnstile symbol $\vdash$, which has a single bar across the middle, and which denotes *syntactic* consequence (in contrast to *semantic*).