U+22E1 "⋡" Does Not Succeed or Equal Unicode Character

U+22E1 "⋡" Does Not Succeed or Equal is a mathematical relational symbol used to express that one value is not greater than or not equal to another, effectively serving as the negation of the "succeeds or equals" relation (often denoted by ≽). It is part of the "Mathematical Operators" block in Unicode, and in formal logic, set theory, and order theory, it helps denote a failure of a non-strict ordering, where one element does not either outrank or match another in a preorder or partial order. Its visual design typically features a double-line greater-than symbol (≽) struck through with a diagonal slash, indicating the negation of the combined condition of being greater than or equal to.