⊫
Math Operator 168
- Unicode
- U+22AB
- Category
- Math
- HTML Entity
- ⊫
- CSS
- \22AB
The ⊫ (Double Vertical Bar Double Right Turnstile) symbol is a mathematical operator used primarily in formal logic and set theory. As a specialized member of the 'turnstile' family of symbols, it typically denotes semantic entailment or a strong forcing relation between mathematical statements. You will mostly encounter this precise shorthand in advanced mathematics textbooks, automated theorem proving, and structural logic frameworks.
How to Type
- Windows
- Alt+8875
- macOS
- Control+Command+Space then search "turnstile"
- Linux
- Ctrl+Shift+U then 22ab
- HTML
- ⊫ or ⊫
In Programming
In LaTeX, this symbol is rendered using the `\VDash` command (typically requiring the `amssymb` package) to express forcing or logical validity in equation blocks.
Tags
LaTeX math symbol
automated theorem prover
double turnstile
double vertical bar double turnstile
formal logic symbol
logic
logic notation
mathematics
model
model theory
satisfies
semantic entailment
set theory
strong forcing
theorem proving
turnstile family
unicode U+22AB