Not Square Original of or Equal To

Unicode
U+22E3
Category
Math
HTML Entity
⋣
CSS
\22E3
The ⋣ (Not Square Original Of Or Equal To) symbol is a specialized mathematical operator primarily used in order theory and lattice theory. It serves as the direct negation of the "square original of or equal to" relation (⊒), indicating that one element does not contain another within a given partial order. Visually, the symbol features the square superset bracket over a horizontal bar, struck through with a mathematical slash to denote the negative state.

How to Type

Windows
Type 22E3 then press Alt+X (in Word), or press Win+. and use the symbol menu
macOS
Control+Command+Space then search "not square original of"
HTML
⋣ or ⋣

In Programming

While absent from standard programming logic, this symbol is frequently implemented in mathematical markup environments like LaTeX using the `\nsqsupseteq` command to express negated partial orders.

Tags

LaTeX math symbol algebra negation lattice lattice theory mathematical ordering mathematics negated square superset negation negation symbol not square original of or equal to order theory symbol ordering set theory symbol

Related Symbols