U+22E7 "⋧" Greater-than but Not Equivalent To Unicode Character

U+22E7 "⋧" Greater-than but Not Equivalent To is a mathematical symbol that indicates one value is strictly greater than another while explicitly stating that the two are not mathematically equivalent or congruent under the given relation. It combines a standard greater-than sign with a negation stroke through a horizontal equivalence bar, often used in advanced set theory, logic, or algebra to denote a strong inequality where ordering holds but equivalence does not. This character belongs to the Mathematical Operators block of Unicode and is distinct from similar symbols that imply approximate or rough inequality, such as the "greater-than but not equal to" or "greater-than or equivalent to" signs. Its precise meaning prevents ambiguity in formal proofs or comparative statements where partial ordering and equivalence domain matter.