⊢

Math Operator 159

Unicode
U+22A2
Category
Math
HTML Entity
⊢
CSS
\22A2
The ⊢ (Right Tack) symbol, widely known as the "turnstile" in mathematical logic, indicates that a proposition is syntactically provable from a set of axioms. It visually represents a gate or barrier yielding to a logical conclusion. While primarily found in formal logic, computer science, and proof theory, you might occasionally spot it in complex technical discussions or academic documentation online.

How to Type

Windows
Win + . then search "right tack" or type 22A2 then Alt + X in Word
macOS
Control + Command + Space then search "right tack"
Linux
Ctrl + Shift + U then 22A2
HTML
⊢ or ⊢

In Programming

In computer science and type theory, the ⊢ symbol is frequently used in typing rules to denote that a term has a specific type within a given environment. It is typically rendered in mathematical formatting and documentation using the LaTeX command \vdash.

Read full meaning article

Tags

LaTeX vdash \vdash assertion sign computer science logic formal proof logic logical consequence mathematics proof theory provability proves proves symbol right tack sequent calculus syntactic entailment turnstile type theory

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