From Wikipedia, the free encyclopedia
Mathematical symbol
⊨redirects here. It is not to be confused with the Korean letter
ㅑ.
In logic, the symbol ⊨, ⊧ or ⊨ {\displaystyle \models } 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 ⊢ {\displaystyle \vdash } , which has a single bar across the middle, and which denotes syntactic consequence (in contrast to semantic).
The double turnstile is a binary relation. It has several different meanings in different contexts:
In TeX, the turnstile symbols ⊨ and ⊨ {\displaystyle \models } are obtained from the commands \vDash and \models respectively.
In Unicode it is encoded at U+22A8 ⊨ TRUE (⊨, ⊨) , and the opposite of it is U+22AD ⊭ NOT TRUE (⊭) .
In LaTeX there is the turnstile package, which issues this sign in many ways, including the double turnstile, and is capable of putting labels below or above it, in the correct places. The article A Tool for Logicians is a tutorial on using this package.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4