Copy ⊂ or ⊊, the proper subset symbol, to paste into your math; ⊆, ⊄ and the superset signs follow.
Proper Subset Symbol
⊂Subset ofU+2282Ready to copy
53 subset and superset signs. Tap any value to copy it.
53 subset and superset signs. A character and its name both copy the character. A code copies the code.
Character
Name
Code point
HTML
LaTeX
U+2282. A ⊂ B says that every element of A is also in B. Many authors mean a proper subset by it, one that is not all of B; others let the two sets be equal. ⊂ in HTML, \subset in LaTeX. No Alt code.
U+228A. The sign that settles it: the bar under the curve is struck out, so the two sets cannot be equal. A proper, or strict, subset and nothing else. \subsetneq in LaTeX needs amssymb.
U+2286. Subset of or equal to: A may be all of B. The sign to use when an improper subset, the set itself, is allowed. ⊆ in HTML, \subseteq in LaTeX.
U+2284. The curve with a slash through it: A is not a subset of B, because something in A is missing from B. ⊄ in HTML.
U+2283. The sign turned around, the bigger set first: B ⊃ A says that B holds all of A. In logic the same character can be read implies. ⊃ in HTML, \supset in LaTeX.
U+2287. Superset of or equal to: the mirror of ⊆. ⊇ in HTML, \supseteq in LaTeX.
U+2288. The slash through ⊆: not a subset and not equal either. \nsubseteq in LaTeX needs amssymb.
Capital A, U+2282, capital B: how the claim looks when written out.
U+2AC5. The curve over a full equals sign: subset of or equal to, drawn with two bars. ⫅ in HTML; \subseteqq in LaTeX needs amssymb.
U+2ACB. The curve over a struck equals sign: a proper subset, in the two-bar style. ⫋ in HTML; \subsetneqq in LaTeX needs amssymb.
U+22D0. One curve nested inside another. ⋐ in HTML; \Subset in LaTeX needs amssymb.
U+2ABD. A dot sits in the mouth of the curve. ⪽ in HTML.
U+2ABF. A small plus hangs under the curve. ⪿ in HTML.
U+2AC1. A small times sign hangs under the curve. ⫁ in HTML.
U+2AC3. The one-bar form with a dot on top. ⫃ in HTML.
U+2AC7. The curve over a tilde. ⫇ in HTML.
U+2AC9. The curve over a double tilde, the almost-equal sign. It has no HTML name.
U+2ACF. The mouth of the curve is shut with an upright stroke. ⫏ in HTML.
U+2AD1. The shut form standing on a bar. ⫑ in HTML.
U+27C3. A small ring rides in the mouth of the curve. In Unicode since version 4.1 (2005).
U+27C8. A backslash set in front of the curve. ⟈ in HTML.
U+2AD5. Two of the curves stacked. ⫕ in HTML.
U+228B. A proper superset: the mirror of ⊊, with the bar struck out. ⊋ in HTML; \supsetneq in LaTeX needs amssymb.
U+2AC6. Mirror of ⫅, the two-bar style facing left. ⫆ in HTML; \supseteqq in LaTeX needs amssymb.
U+2ACC. Mirror of ⫋: proper superset, with two bars. ⫌ in HTML; \supsetneqq in LaTeX needs amssymb.
U+22D1. Mirror of ⋐: a nested pair opening to the left. ⋑ in HTML; \Supset in LaTeX needs amssymb.
U+2ABE. Mirror of ⪽, dotted. ⪾ in HTML.
U+2AC0. Mirror of ⪿, with the plus beneath. ⫀ in HTML.
U+2AC2. Mirror of ⫁, with the times sign beneath. ⫂ in HTML.
U+2AC4. Mirror of ⫃, dot on top. ⫄ in HTML.
U+2AC8. Mirror of ⫇, over a tilde. ⫈ in HTML.
U+2ACA. Mirror of ⫉: the left-opening curve resting on a double tilde.
U+2AD0. Mirror of ⫏, the mouth shut. ⫐ in HTML.
U+2AD2. Mirror of ⫑, shut and standing on a bar. ⫒ in HTML.
U+27C4. Mirror of ⟃, with the small ring.
U+27C9. A forward slash set after the curve. ⟉ in HTML.
U+2AD6. Mirror of ⫕: two stacked, opening left. ⫖ in HTML.
U+2285. The slash through ⊃: B does not hold all of A. ⊅ in HTML.
U+2289. The slash through ⊇. ⊉ in HTML; \nsupseteq in LaTeX needs amssymb.
U+2AD3. The two signs stacked, ⊂ on top. ⫓ in HTML.
U+2AD4. The same stack with ⊃ on top. ⫔ in HTML.
U+2AD7. Back to back: ⊃ then ⊂ on one line. ⫗ in HTML.
U+2AD8. Back to back with a dash tying the pair. ⫘ in HTML.
U+228F. The boxy form: the curve squared off into three sides of a box. Unicode names it square image of. ⊏ in HTML; \sqsubset in LaTeX needs amssymb.
U+2290. The square form facing left; square original of in Unicode. ⊐ in HTML; \sqsupset in LaTeX needs amssymb.
U+2291. The square form on a bar. ⊑ in HTML, \sqsubseteq in LaTeX.
U+2292. The left-facing square form on a bar. ⊒ in HTML, \sqsupseteq in LaTeX.
U+22E2. Square, barred and slashed. ⋢ in HTML.
U+22E3. Left-facing, barred and slashed. ⋣ in HTML.
U+22E4. The square form over a struck bar: square, and proper.
U+22E5. Its left-facing twin over a struck bar.
Three characters, A then U+2286 then B, for the case where A may be the whole of B.
U+0043. The third letter of the alphabet, typed from the keyboard. It only resembles ⊂, which is U+2282.
The proper subset symbol is ⊂, U+2282 in Unicode, or the stricter ⊊, U+228A, which cannot be read as allowing equal sets. Neither has an Alt code; LaTeX writes \subset and \subsetneq.
Read the full guide
Proper, strict and improper
A ⊆ B says every element of A is in B, and the two sets may be equal. A proper subset, also called a strict subset, is not all of B: {1, 2} is a proper subset of {1, 2, 3}. Authors disagree about the bare ⊂: some mean proper by it, others mean ⊆. ⊊ always means proper. An improper subset is the other case, the set itself.
The opposite and the negated signs
The opposite of a subset is a superset: B ⊃ A says that B contains all of A. A slash negates each sign, so ⊄ is not a subset. ⊏ and ⊑ are boxy relatives with square corners.
No keyboard key and no Alt code types a subset or superset sign.
∪ is the union of two sets; ⊂ compares one whole set with another.
A small letter c is not ⊂, which has its own code point.
Questions and answers
What is the symbol for a proper subset?
⊊, subset of with not equal to, always means a proper subset. Many books also write ⊂ for it, but others use ⊂ for any subset, so the meaning of the bare sign depends on the author.
What is the not a subset symbol?
⊄, U+2284, is ⊂ with a slash through it: not a subset of. ⊈ negates ⊆, and ⊅ and ⊉ do the same for the superset signs.
What is the superset symbol?
⊃, U+2283, the subset sign turned around: B ⊃ A says that B contains every element of A. ⊇ lets the two be equal, and ⊋ does not.
What is the Alt code for the subset symbol?
There is no subset Alt code and no superset Alt code: neither Alt code table holds these signs. A web page writes ⊂ as ⊂ and ⊃ as ⊃.
Is the subset symbol the same in discrete math?
Yes. Set theory is one of the topics of discrete math, and the signs are the same: ⊆ for a subset, ⊂ or ⊊ for a proper one, and ⊄ for not a subset.
All 53 subset and superset signs
Start here 8
A⊂BA is a subset of BCapital A, U+2282, capital B: how the claim looks when written out.
⊈Neither a subset of nor equal toU+2288. The slash through ⊆: not a subset and not equal either. \nsubseteq in LaTeX needs amssymb.
⊄Not a subset ofU+2284. The curve with a slash through it: A is not a subset of B, because something in A is missing from B. ⊄ in HTML.
⊂Subset ofU+2282. A ⊂ B says that every element of A is also in B. Many authors mean a proper subset by it, one that is not all of B; others let the two sets be equal. ⊂ in HTML, \subset in LaTeX. No Alt code.
⊆Subset of or equal toU+2286. Subset of or equal to: A may be all of B. The sign to use when an improper subset, the set itself, is allowed. ⊆ in HTML, \subseteq in LaTeX.
⊊Subset of with not equal toU+228A. The sign that settles it: the bar under the curve is struck out, so the two sets cannot be equal. A proper, or strict, subset and nothing else. \subsetneq in LaTeX needs amssymb.
⊃Superset ofU+2283. The sign turned around, the bigger set first: B ⊃ A says that B holds all of A. In logic the same character can be read implies. ⊃ in HTML, \supset in LaTeX.
⊇Superset of or equal toU+2287. Superset of or equal to: the mirror of ⊆. ⊇ in HTML, \supseteq in LaTeX.
Show all 53 subset and superset signs (45 more)
Subset 14
⫏Closed subsetU+2ACF. The mouth of the curve is shut with an upright stroke. ⫏ in HTML.
⫑Closed subset or equal toU+2AD1. The shut form standing on a bar. ⫑ in HTML.
⋐Double subsetU+22D0. One curve nested inside another. ⋐ in HTML; \Subset in LaTeX needs amssymb.
⟃Open subsetU+27C3. A small ring rides in the mouth of the curve. In Unicode since version 4.1 (2005).
⟈Reverse solidus preceding subsetU+27C8. A backslash set in front of the curve. ⟈ in HTML.
⫕Subset above subsetU+2AD5. Two of the curves stacked. ⫕ in HTML.
⫉Subset of above almost equal toU+2AC9. The curve over a double tilde, the almost-equal sign. It has no HTML name.
⫅Subset of above equals signU+2AC5. The curve over a full equals sign: subset of or equal to, drawn with two bars. ⫅ in HTML; \subseteqq in LaTeX needs amssymb.
⫋Subset of above not equal toU+2ACB. The curve over a struck equals sign: a proper subset, in the two-bar style. ⫋ in HTML; \subsetneqq in LaTeX needs amssymb.
⫇Subset of above tilde operatorU+2AC7. The curve over a tilde. ⫇ in HTML.
⫃Subset of or equal to with dot aboveU+2AC3. The one-bar form with a dot on top. ⫃ in HTML.
⪽Subset with dotU+2ABD. A dot sits in the mouth of the curve. ⪽ in HTML.
⫁Subset with multiplication sign belowU+2AC1. A small times sign hangs under the curve. ⫁ in HTML.
⪿Subset with plus sign belowU+2ABF. A small plus hangs under the curve. ⪿ in HTML.
Superset 15
⫐Closed supersetU+2AD0. Mirror of ⫏, the mouth shut. ⫐ in HTML.
⫒Closed superset or equal toU+2AD2. Mirror of ⫑, shut and standing on a bar. ⫒ in HTML.
⋑Double supersetU+22D1. Mirror of ⋐: a nested pair opening to the left. ⋑ in HTML; \Supset in LaTeX needs amssymb.
⟄Open supersetU+27C4. Mirror of ⟃, with the small ring.
⫖Superset above supersetU+2AD6. Mirror of ⫕: two stacked, opening left. ⫖ in HTML.
⫊Superset of above almost equal toU+2ACA. Mirror of ⫉: the left-opening curve resting on a double tilde.
⫆Superset of above equals signU+2AC6. Mirror of ⫅, the two-bar style facing left. ⫆ in HTML; \supseteqq in LaTeX needs amssymb.
⫌Superset of above not equal toU+2ACC. Mirror of ⫋: proper superset, with two bars. ⫌ in HTML; \supsetneqq in LaTeX needs amssymb.
⫈Superset of above tilde operatorU+2AC8. Mirror of ⫇, over a tilde. ⫈ in HTML.
⫄Superset of or equal to with dot aboveU+2AC4. Mirror of ⫃, dot on top. ⫄ in HTML.
⊋Superset of with not equal toU+228B. A proper superset: the mirror of ⊊, with the bar struck out. ⊋ in HTML; \supsetneq in LaTeX needs amssymb.
⟉Superset preceding solidusU+27C9. A forward slash set after the curve. ⟉ in HTML.
⪾Superset with dotU+2ABE. Mirror of ⪽, dotted. ⪾ in HTML.
⫂Superset with multiplication sign belowU+2AC2. Mirror of ⫁, with the times sign beneath. ⫂ in HTML.
⫀Superset with plus sign belowU+2AC0. Mirror of ⪿, with the plus beneath. ⫀ in HTML.
Not a subset, not a superset 2
⊉Neither a superset of nor equal toU+2289. The slash through ⊇. ⊉ in HTML; \nsupseteq in LaTeX needs amssymb.
⊅Not a superset ofU+2285. The slash through ⊃: B does not hold all of A. ⊅ in HTML.
Both in one sign 4
⫓Subset above supersetU+2AD3. The two signs stacked, ⊂ on top. ⫓ in HTML.
⫔Superset above subsetU+2AD4. The same stack with ⊃ on top. ⫔ in HTML.
⫘Superset beside and joined by dash with subsetU+2AD8. Back to back with a dash tying the pair. ⫘ in HTML.
⫗Superset beside subsetU+2AD7. Back to back: ⊃ then ⊂ on one line. ⫗ in HTML.
Square forms 8
⋢Not square image of or equal toU+22E2. Square, barred and slashed. ⋢ in HTML.
⋣Not square original of or equal toU+22E3. Left-facing, barred and slashed. ⋣ in HTML.
⊏Square image ofU+228F. The boxy form: the curve squared off into three sides of a box. Unicode names it square image of. ⊏ in HTML; \sqsubset in LaTeX needs amssymb.
⊑Square image of or equal toU+2291. The square form on a bar. ⊑ in HTML, \sqsubseteq in LaTeX.
⋤Square image of or not equal toU+22E4. The square form over a struck bar: square, and proper.
⊐Square original ofU+2290. The square form facing left; square original of in Unicode. ⊐ in HTML; \sqsupset in LaTeX needs amssymb.
⊒Square original of or equal toU+2292. The left-facing square form on a bar. ⊒ in HTML, \sqsupseteq in LaTeX.
⋥Square original of or not equal toU+22E5. Its left-facing twin over a struck bar.
Ready-made 1
A⊆BA is a subset of or equal to BThree characters, A then U+2286 then B, for the case where A may be the whole of B.
Not a subset sign 1
CLatin capital letter CU+0043. The third letter of the alphabet, typed from the keyboard. It only resembles ⊂, which is U+2282.