⊪

Math Operator 167

Unicode
U+22AA
Category
Math
HTML Entity
⊪
CSS
\22AA
The ⊪ (Triple Vertical Bar Right Turnstile) symbol is a mathematical operator primarily used in formal logic, set theory, and model theory. Serving as a complex variant of the standard turnstile (⊢) and double turnstile (⊨), it typically denotes a specialized entailment, semantic consequence, or forcing relation in advanced mathematical frameworks. While rarely seen outside academic typography and specialized documentation, it provides crucial precision for logicians mapping out intricate theorems.

How to Type

Windows
Alt+8874 or Win+. then search
macOS
Control+Command+Space then search 'turnstile'
Linux
Ctrl+Shift+U then 22aa
HTML
⊪ or ⊪

In Programming

In LaTeX, this symbol is rendered using the \Vvdash command from the amssymb package to represent complex deductive relations in formal logic equations.

Read full meaning article

Tags

LaTeX symbol advanced math operator entailment forces forcing relation formal proof logic logic turnstile mathematical logic mathematics model theory semantic consequence set theory strong triple turnstile triple vertical bar turnstile unicode U+22AA ⊢ variant

Related Symbols

± Plus Minus Sign × Multiplication Sign ÷ Division Sign ≠ Not Equal To ≈ Approximately Equal To ∞ Infinity √ Square Root ∑ Summation ∫ Integral π Pi ≤ Less Than or Equal To ≥ Greater Than or Equal To