U+22A2 "⊢" Right Tack Unicode Character

U+22A2 "⊢" Right Tack is a mathematical symbol known as the turnstile or assertion sign, primarily used in logic and formal systems to denote syntactic entailment or provability, indicating that a formula on the right can be derived from a set of premises on the left. It also appears in type theory to represent judgments, such as a typing context, and in certain programming language grammars as a separator. Its design resembles a short vertical line attached to the left end of a longer horizontal line, and it is distinct from the similar but reversed "⊣" Left Tack.