U+22E2 "⋢" Not Square Image of or Equal To Unicode Character

U+22E2 "⋢" Not Square Image of or Equal To is a mathematical symbol used in logic and set theory to denote a specific type of negation, primarily indicating that one element does not map squarely into another or that two squares are not in a relation of image and equality. Its appearance resembles a square with a diagonal slash through it, clearly signaling the denial of the "square image of" relationship, which is often applied in lattice theory or categorical contexts to assert that a mapping fails to preserve a square structure or that two mathematical objects are not equivalent under a square correspondence. This character helps maintain precision in formal proofs and symbolic notation where visual distinction of such negations is critical.