⋐
Math Operator 205
- Unicode
- U+22D0
- Category
- Math
- HTML Entity
- ⋐
- CSS
- \22D0
The ⋐ (Double Subset) symbol is a mathematical operator used in set theory to denote a specific type of subset relationship. While a standard subset symbol (⊂) indicates that one set is simply contained within another, the double subset often represents strict inclusion or nested set structures in advanced logic. Outside of academic papers and formal technical documentation, you rarely see this specialized symbol in everyday typography or casual messages.
How to Type
- Windows
- Win + . then search 'Double subset' or Alt + 8912
- macOS
- Control + Command + Space then search 'Double subset'
- Linux
- Ctrl + Shift + U then 22d0 then Space
- HTML
- ⋐ or ⋐
In Programming
In mathematical typesetting systems like LaTeX, this symbol is generated using the \Subset command from the amssymb package. It is used in MathML and formal logic programming to define complex or strict set inclusions.
Tags
advanced set theory
double inclusion
double subset
formal logic symbol
inclusion
math unicode
mathematics
nested sets
set inclusion
set theory
strict subset
strong
subset relation
⋐ copy paste