U+22E8 "⋨" Precedes but Not Equivalent To Unicode Character

U+22E8 "⋨" Precedes but Not Equivalent To is a mathematical symbol used in formal logic, set theory, and order relations to indicate that one element strictly comes before another in a defined ordering, without being considered equal or logically equivalent to it. This distinction is crucial in contexts like partial orders or equivalence classes, where a relationship must specify asymmetry and non reflexivity beyond simple inequality. The symbol itself combines the visual notion of a predecessor relation with a negation stroke through the equivalence sign, emphasizing that the two items are not interchangeable or identical in value.