U+22E5 "⋥" Square Original of or Not Equal To Unicode Character

U+22E5 "⋥" Square Original of or Not Equal To is a mathematical operator that combines the concept of a square original or relation with the negation of equality, typically used in formal logic or order theory to indicate that one element is not equal to the square of another or that a square relationship does not hold with equality. It belongs to the Miscellaneous Mathematical Symbols-B block and is rarely used in common text, appearing instead in specialized contexts such as lattice theory or advanced algebra where precise relational distinctions are required.