Demystifying the ⊋ (Superset Of With Not Equal To) Symbol
The ⊋ symbol (Unicode U+228B), officially named "Superset Of With Not Equal To," represents a strict superset in mathematical set theory. It indicates that one set completely contains another set, but the two sets are not identical, meaning the larger set has at least one extra element. For example, a set containing all fruit is a strict superset of a set containing only apples.
Set theory originated in the late 19th century through the groundbreaking work of mathematicians like Georg Cantor. As the field evolved to handle complex logic, so did its specialized notation. The ⊋ symbol combines the standard superset symbol (⊃) with a crossed-out equals sign below it to explicitly rule out equality. It lives in the Mathematical Operators Unicode block, standing as a precise visual shorthand for mathematicians and logicians.
You will primarily spot ⊋ in academic textbooks, computer science algorithms, and advanced mathematical proofs. In programming, sets are a foundational data structure. While you cannot typically type ⊋ as a standard syntax operator in languages like Python (which simply uses the greater-than sign `>` to evaluate strict supersets), the symbol frequently appears in academic whitepapers detailing database structures or logic algorithms. Outside the classroom, math enthusiasts and programmers might drop it into social media discussions to flex their set theory knowledge or debate logic puzzles. Thanks to its clean geometric design, it even occasionally pops up in minimalist text art and kaomoji, serving as an abstract shape or stylized eye.
Typing ⊋ requires a few shortcuts depending on your platform. On Windows, you can use the hex code method by typing 228B followed by Alt+X in Microsoft Word. On a Mac, the Character Viewer (Cmd+Ctrl+Space) is your best friend—just search for "superset" to locate it easily. In HTML, you can seamlessly insert it into a webpage using the decimal code `⊋` or the entity name `&supsne;`. Meanwhile, LaTeX users rely on the command `\supsetneq` to render this character flawlessly in complex equations.
The ⊋ symbol belongs to a much larger family of mathematical operators. It is closely related to ⊃ (Superset Of), which denotes that a set contains another but leaves the door open for them being exactly equal. Its exact mirror opposite is ⊊ (Subset Of With Not Equal To), which flips the hierarchy around. You might also encounter ⊉ (Not a Superset Of), which outright rejects the superset relationship entirely. Understanding these subtle visual cues—especially the slashed lines—is key to mastering mathematical shorthand without breaking a sweat.