U+22E9 "⋩" Succeeds but Not Equivalent To Unicode Character

U+22E9 "⋩" Succeeds but Not Equivalent To is a mathematical relational symbol used in formal logic, set theory, and advanced algebra to denote that one element or expression comes after another in a defined ordering, while also explicitly indicating that the two are not logically or numerically equivalent. It combines the visual and conceptual components of a greater-than-like relation (succeeds) with a negation of equality, distinguishing it from a simple "greater than" sign by focusing on relational order rather than magnitude. This symbol is part of the Mathematical Operators block and is often employed in fuzzy logic, lattice theory, or order theory contexts where partial orders require a distinction between sequential precedence and exact equality.