Set & Logic Symbols (∈ ∪ ∩ ∀ ∃) — Copy & Paste
Set theory and logical symbols used in mathematics, computer science, and engineering proofs. Copy any symbol instantly with its Unicode, HTML and LaTeX reference.
Symbols — copy & reference
∈
Element of
Indicates that an element belongs to a set. Fundamental in set theory and mathematical logic.
∉
Not element of
Indicates that an element does not belong to a set.
∪
Union
The union of two sets contains all elements from both sets.
∩
Intersection
The intersection of two sets contains only elements common to both.
∀
For all (universal quantifier)
Means ‘for every’. Used in mathematical definitions and proofs.
∃
There exists (existential quantifier)
Means ‘there is at least one’. Used in existence proofs.
⊂
Subset of
Set A is a subset of B if every element of A is also in B.
⊃
Superset of
Set A is a superset of B if A contains all elements of B.
∅
Empty set
The set containing no elements. Denotes a null or void result.
¬
Logical NOT
Negation operator: ¬A is true when A is false. Fundamental in Boolean algebra.
∧
Logical AND
Conjunction: A ∧ B is true only when both A and B are true.
∨
Logical OR
Disjunction: A ∨ B is true when at least one of A or B is true.
How to insert in applications
Windows
Best option: copy from this page.
Or Win + . to open emoji & symbols panel.
Or Win + . to open emoji & symbols panel.
macOS
⌃⌘Space → Character Viewer → search by name
Microsoft Word
Insert → Symbol → More Symbols → find by Unicode
Google Docs
Insert → Special characters → search by name or draw
LaTeX
Use command in math mode: $ … $
HTML
Use HTML entity or decimal code directly in markup