U+22A6 "⊦" Assertion Unicode Character

U+22A6 "⊦" Assertion is a mathematical symbol used primarily in logic and formal systems to denote that a particular statement is asserted as true under a given set of assumptions. It is often called the "assertion sign" and functions similarly to the turnstile symbol (⊢), though it specifically emphasizes the act of asserting a proposition rather than simply indicating logical entailment. In type theory and programming language semantics, this character may appear to mark a formal judgment or declaration within a system of rules.