⋤
Math Operator 225
- Unicode
- U+22E4
- Category
- Math
- HTML Entity
- ⋤
- CSS
- \22E4
The ⋤ (Square Original of or Not Equal To) symbol is a mathematical operator combining the "square original of" sign (⊏) with a crossed-out equals sign. In advanced set theory and logic, it is used to represent a proper "square subset" or a strict partial order, indicating that one element strictly precedes another but is not identical to it. While rarely used outside of academic papers, it serves as an essential shorthand for mathematicians formatting rigorous relationship statements.
How to Type
- Windows
- Alt+8932 or type 22E4 then press Alt+X in Word
- macOS
- Control+Command+Space then search "square original"
- Linux
- Ctrl+Shift+U then 22e4
- HTML
- ⋤
In Programming
In LaTeX, this symbol is commonly used in mathematical and technical environments via the `\sqsubsetneq` command (which requires the `amssymb` package) to render strict subset logic.
Tags
LaTeX sqsubsetneq
\sqsubsetneq
lattice
lattice theory
mathematics
negation
not equal operator
order theory
ordering
partial order
proper square subset
set theory symbol
square image not equal
square subset
strict subset