Turnstile
⊢
Type it
| Unicode | U+22A2 | |
|---|---|---|
| LaTeX | \vdash | |
| HTML entity | ⊢ | |
| Character | ⊢ |
Meaning
States that the formula on the right can be proved from the assumptions on the left using the rules of a formal system. Compare with Double Turnstile and Implies.
How to read it
Γ ⊢ φ
is read “gamma proves phi”.