What Does the ⊊ Symbol Mean? Understanding the Proper Subset
The ⊊ symbol, officially known as "Subset of With Not Equal To" (U+228A), is a mathematical operator used in set theory. It indicates that one set is a strict, or "proper," subset of another. In other words, the first set contains elements entirely found within the second set, but the second set has at least one extra element, meaning the two sets are not identical.
Originating from the mathematical discipline of set theory developed in the late 19th century, this symbol helps mathematicians avoid ambiguity. While the standard subset symbol (⊂) can sometimes mean "subset or equal to" depending on the author, the ⊊ symbol leaves no room for confusion. A strike-through over the equals sign clearly dictates the sets cannot be identical. You can find this precise character living in the Mathematical Operators Unicode block under the code point U+228A.
In the wild, you will mostly spot the ⊊ symbol in math and computer science textbooks, academic papers, and logic equations. Modern programming languages that support Unicode, such as Julia and Agda, allow developers to use ⊊ directly in their code for elegant set operations. While you will not see it often on social media, typography enthusiasts and text-art creators occasionally repurpose mathematical operators like this one to build intricate kaomoji (Japanese emoticons) or aesthetic designs.
Typing the ⊊ symbol requires a few shortcuts depending on your platform. On Windows, you can type 228A followed by Alt + X in Microsoft Word, or use the Character Map. Mac users can open the Character Viewer (Control + Command + Space) and search for "subset." Linux users can press Ctrl + Shift + U, type 228A, and hit Enter. If you are writing for the web or working in LaTeX, you can easily drop it into your HTML using the entity ⊊ or type \subsetneq in math environments.
Understanding the ⊊ symbol is easier when you look at its mathematical siblings. The standard subset symbol ⊂ (U+2282) implies inclusion but leaves equality as a possibility. The subset or equal to symbol ⊆ (U+2286) explicitly allows both sets to be exactly the same. Finally, its mirrored counterpart, the superset of with not equal to symbol ⊋ (U+228B), flips the relationship entirely, showing that the first set strictly contains the second.