Double Turnstile
⊨
Type it
| Unicode | U+22A8 | |
|---|---|---|
| LaTeX | \models | |
| HTML entity | ⊨ | |
| Character | ⊨ |
Meaning
States that the formula on the right is true in every model where the assumptions on the left are true. With a single structure on the left, it says the formula holds in that structure. Compare with Turnstile and Implies.
How to read it
Γ ⊨ φ
is read “gamma entails phi”.