x22a2

X22a2 refers to the Unicode code point U+22A2, commonly rendered as the Right Tack symbol ⊢. In mathematical logic and related fields, this glyph is widely known as the turnstile and is used to denote derivability or entailment within a formal system.

In formal logic, the turnstile expresses that a conclusion follows from a set of premises in a given deductive framework. For example, a statement such as A ⊢ B indicates that B is derivable from A using the rules of the system. In sequent calculus and related formalisms, the turnstile serves to separate premises from conclusions in judgments. It is distinct from semantic entailment, which is typically shown with the double turnstile symbol ⊨.

Encoding and availability: U+22A2 is part of the Unicode standard, within the Mathematical Operators block. The symbol is supported by most modern fonts and rendering engines, and is commonly available in typesetting systems used for mathematics and logic.

Related symbols include the Left Tack ⊣ (U+22A3), which appears in some contexts with analogous meanings in different logical or mathematical notations, and the semantic entailment symbol ⊨ (U+22A8), used to indicate that a statement is true in all models of a theory. The turnstile family is widely recognized in logic, computer science, and related disciplines.