U+22AD "⊭" Not True Unicode Character

U+22AD "⊭" Not True is a mathematical logic symbol that represents the negation of a double turnstile, indicating that a statement is not a semantic consequence or that it is not true under a given interpretation. It combines the double turnstile symbol (⊨) with a diagonal negation stroke, and in formal logic it is used to assert that a model does not satisfy a particular formula or that a premise does not logically entail a conclusion. This symbol is part of the Unicode block for miscellaneous mathematical symbols and is distinct from other similar operators like the logical not sign or the negated single turnstile.