⋢
Math Operator 223
- Unicode
- U+22E2
- Category
- Math
- HTML Entity
- ⋢
- CSS
- \22E2
The ⋢ symbol (Not Square Image Of Or Equal To) is a mathematical operator used in order theory, formal logic, and set theory. It serves as the direct negation of the "square image of or equal to" relation (⊑), indicating that one element or set is not a predecessor or subclass of another within a specific partial order. While rarely seen outside advanced mathematics, it provides a highly precise shorthand for academics and mathematicians detailing structural inequalities.
How to Type
- Windows
- Type 22E2 then press Alt+X in Microsoft Word, or simply copy and paste
- macOS
- Control+Command+Space then search for 'not square image of'
- Linux
- Ctrl+Shift+U then type 22E2 and press Enter
- HTML
- ⋢ or ⋢
In Programming
This symbol is predominantly used in mathematical typesetting languages like LaTeX, where it is rendered using the \nsqsubseteq command via the amssymb package. It does not function as a standard mathematical operator in mainstream programming languages.
Tags
LaTeX math operator
U+22E2
lattice
lattice theory
mathematics
negated relation
negation
not square image
not square image of or equal to
order theory
ordering
partial order
predecessor negation
set theory operator