Set notation provides a precise language for grouping objects and describing relationships between collections.
7 reviewed symbols
| Symbol | Name and semantic role | LaTeX | Unicode | Action |
|---|---|---|---|---|
| ∈ | Element OfAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \in | U+2208 | |
| ∅ | Empty SetAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \varnothing | U+2205 | |
| ∩ | IntersectionAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \cap | U+2229 | |
| ∉ | Not an Element OfAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \notin | U+2209 | |
| ⊂ | Subset / Proper SubsetAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \subset | U+2282 | |
| ⊆ | Subset or Equal ToAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \subseteq | U+2286 | |
| ∪ | UnionAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \cup | U+222A |
Browse 47 supporting set theory symbols symbols
| Symbol | Name and semantic role | LaTeX | Unicode | Action |
|---|---|---|---|---|
| ∋ | Contains As MemberAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \ni | U+220B | |
| ⋺ | Contains with Long Horizontal StrokeAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋺ | U+22FA | |
| ⋽ | Contains with OverbarAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋽ | U+22FD | |
| ⋻ | Contains with Vertical Bar At End Of Horizontal StrokeA specialized mathematical relation or operator whose exact glyph and code point carry meaning. | ⋻ | U+22FB | |
| ∌ | Does Not Contain As MemberAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \not\ni | U+220C | |
| ⊫ | Does Not Force SymbolAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \nVdash | U+22AB | |
| ⋠ | Does Not Precede Or EqualAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋠ | U+22E0 | |
| ⋡ | Does Not Succeed Or EqualAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋡ | U+22E1 | |
| ⋒ | Double IntersectionAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \Cap | U+22D2 | |
| ⋐ | Double SubsetAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \Subset | U+22D0 | |
| ⋑ | Double SupersetAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \Supset | U+22D1 | |
| ⋓ | Double UnionAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \Cup | U+22D3 | |
| ⋵ | Element Of with Dot AboveAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋵ | U+22F5 | |
| ⋲ | Element Of with Long Horizontal StrokeAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋲ | U+22F2 | |
| ⋶ | Element Of with OverbarAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋶ | U+22F6 | |
| ⋹ | Element Of with Two Horizontal StrokesAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋹ | U+22F9 | |
| ⋸ | Element Of with UnderbarAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋸ | U+22F8 | |
| ⋳ | Element Of with Vertical Bar At End Of Horizontal StrokeA specialized mathematical relation or operator whose exact glyph and code point carry meaning. | ⋳ | U+22F3 | |
| ⋕ | Equal and Parallel ToAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋕ | U+22D5 | |
| ⋝ | Equal To Or Greater-ThanAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋝ | U+22DD | |
| ⋜ | Equal To Or Less-ThanAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋜ | U+22DC | |
| ⊩ | Forces SymbolAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \Vdash | U+22A9 | |
| ⊎ | Multiset UnionAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \uplus | U+228E | |
| ⋂ | N-Ary IntersectionAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \bigcap | U+22C2 | |
| ⋃ | N-Ary UnionAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \bigcup | U+22C3 | |
| ⊈ | Not a Subset Of or Equal ToAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \nsubseteq | U+2288 | |
| ⊉ | Not a Superset Of or Equal ToAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \nsupseteq | U+2289 | |
| ⋢ | Not Square Image Of Or Equal ToAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋢ | U+22E2 | |
| ⋣ | Not Square Original Of Or Equal ToAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋣ | U+22E3 | |
| ⊊ | Proper Subset OfAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \subsetneq | U+228A | |
| ⊋ | Proper Superset OfAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \supsetneq | U+228B | |
| ℬ | Script Capital BA letter-like symbol used to name a variable, function, space, transform, or other mathematical object. | \mathcal{B} | U+212C | |
| ∁ | Set ComplementAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \complement | U+2201 | |
| ∖ | Set MinusAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \setminus | U+2216 | |
| ⋾ | Small Contains with OverbarAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋾ | U+22FE | |
| ⋼ | Small Contains with Vertical Bar At End Of Horizontal StrokeA specialized mathematical relation or operator whose exact glyph and code point carry meaning. | ⋼ | U+22FC | |
| ⋷ | Small Element Of with OverbarAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋷ | U+22F7 | |
| ⋴ | Small Element Of with Vertical Bar At End Of Horizontal StrokeA specialized mathematical relation or operator whose exact glyph and code point carry meaning. | ⋴ | U+22F4 | |
| ⋤ | Square Image Of Or Not Equal ToAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋤ | U+22E4 | |
| ⋥ | Square Original Of Or Not Equal ToAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋥ | U+22E5 | |
| ⊊ | Subset Of with Not Equal ToAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \subsetneq | U+228A | |
| ⊃ | Superset OfAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \supset | U+2283 | |
| ⊇ | Superset Of or Equal ToAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \supseteq | U+2287 | |
| ⊋ | Superset Of with Not Equal ToAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \supsetneq | U+228B | |
| △ | Symmetric DifferenceAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \triangle | U+25B3 | |
| ∄ | There Does Not ExistAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | \nexists | U+2204 | |
| ⋿ | Z Notation Bag MembershipAn operator, relation, connective, or notation mark whose meaning depends on its operands and context. | ⋿ | U+22FF |
Verified notation examples
∈
x\in A∅
A\cap B=\varnothing∩
A\cap B∉
-1\notin\mathbb{N}⊂
A\subset B⊆
A\subseteq BFrequently asked questions
How do I copy a set theory symbols symbol?
Use the Copy button in the table, then verify the Unicode code point if the destination can substitute look-alike characters.
When should I use LaTeX or MathML instead?
Use LaTeX for editable equations and MathML for semantic web mathematics. Plain Unicode is best for short text where the destination preserves the exact code point.