✦free-symbols
⊄

Not A Subset Of Symbol

⊄ means “not a subset of,” often used in set and logic statements.

U+2284

⊄ is the “not a subset of” symbol used to compare sets and relations. It’s commonly written in math and logic to state that one set does not belong to another as a subset. You can copy it directly or use standard character escapes in code.

Not A Subset Of Symbol Meaning

⊄ (Unicode U+2284) is read as “not a subset of.” In set notation, it indicates that a set A is not contained within a set B, meaning there is at least one element of A that is not in B. It is also used in logical or mathematical writing to express negation of the subset relation, typically as the counterpart to the subset symbol. In documentation and diagrams, ⊄ helps communicate constraints precisely without needing words like “does not fit inside” or “no containment.” When typesetting, it’s best to use the Unicode character or the provided escapes to ensure consistent rendering across platforms.

Common uses

  • •Stating set relationships in math homework, notes, and textbooks
  • •Writing proofs where a containment claim is explicitly false
  • •Formulating logic/constraints in algorithms and formal specs
  • •Labeling diagram arrows or conditions in technical presentations
  • •Adding clear negated set comparisons in technical blog posts

Examples

⊄ Not a Subset Of (U+2284)

  • ⊄Let A ⊄ B, since there exists x ∈ A such that x ∉ B.
  • ⊄The solution set S ⊄ T, because T is missing an element of S.
  • ⊄We claim that {1,2} ⊄ {1,2,3} is false; actually it is a subset.
  • ⊄Condition: X ⊄ Y, so not all possible values of X are in Y.
  • ⊄In this case, U ⊄ V, therefore the inclusion does not hold.

Variations

Ready to copy

Technical codes

UnicodeU+2284
HTML Entity⊄
HTML Code⊄
CSS\2284
Alt CodeAlt + 8836
Decimal8836

How to type Not A Subset Of Symbol (⊄)

On Windows

Hold Alt and type 8836 on the numeric keypad. In Word, type 2284 then press Alt + X.

On Mac

Switch to the Unicode Hex Input keyboard, then hold Option and type 2284. Or press Control + Command + Space and search.

On Linux

Press Control + Shift + U, type 2284, then press Enter or Space.

Anywhere

Copy ⊄ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.

FAQ

What does ⊄ mean?

⊄ means “not a subset of,” i.e., the left set is not contained within the right set.

How do I type ⊄ in code?

Use the provided escapes: HTML ⊄, CSS \\2284, or JavaScript \\u{2284}.

What is ⊄ used for in set notation?

It states that at least one element of the left set is missing from the right set, so containment does not hold.

Is ⊄ different from the subset symbol with “not” in words?

Yes. ⊄ is the dedicated symbol for the negated subset relation, making your meaning precise and unambiguous in math and logic text.