Double turnstile
Mathematical symbol / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Double turnstile?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
⊨ redirects here. It is not to be confused with the Korean letterㅑ.
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).