What ⊪ means
The author’s notation defines what ⊪ asserts. In formal logic, a turnstile relation can connect assumptions—the statements taken as given—to a conclusion. In many proof systems, marks derivability: a proof can produce the conclusion from the assumptions. ⊪ has three vertical bars, but the shape alone does not say whether an author assigns it that role or another one. Look for its local definition near the formula.
Don't confuse it with
2
Related characters
2
Forces
A double-bar right-turnstile sign named “forces” in Unicode. It belongs to the same turnstile family, but its use still depends on the formal system.
Double Vertical Bar Double Right Turnstile
A double-bar, double-dash right turnstile. It is a related turnstile form with a different bar-and-dash pattern from ⊪.
Questions people ask
1Why does ⊪ show as a box on some devices?
Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.
More like this
9
How to type or find ⊪
- Also called
- Vvdash · triple turnstile
- Search it as
- ⊪ meaning · turnstile symbol · logic turnstile · LaTeX Vvdash
- Shows up in
- Anything that takes text · its shape is whatever your font draws
Windows (Word)
Windows
macOS
HTML
⊪CSS
\22AALaTeX Vvdash
In math mode, type \Vvdash with the amssymb package loaded.
Codes and encoding1 code points
HTML decimal
⊪
HTML hex
⊪
CSS content
content: "\22AA";
Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.
URL encoded
%E2%8A%AA
1
On screen
1
Code points
1
JS .length
3
UTF-8 bytes
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.