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