Mathematical Operators Block
The Mathematical Operators block (U+2200–U+22FF) contains 256 symbols covering set theory, logic, calculus, and other areas of mathematics used in academic papers and technical documentation. This guide explores the block's character groups, provides LaTeX equivalents, and shows how to use these symbols in HTML and code.
The Mathematical Operators block (U+2200–U+22FF) provides 256 code points covering the symbolic language of mathematics. From set theory and logic to calculus and linear algebra, this block gives mathematicians, scientists, and technical writers the characters they need to express formal notation in digital text without resorting to images or specialized math markup.
Block Overview
The block is loosely organized by mathematical domain, though the arrangement reflects historical standardization from multiple sources rather than a strict taxonomy. Unicode drew on the symbol sets of TeX, MathML, ISO 80000, and numerous national standards when assembling this block.
Set Theory Symbols
Set theory underpins much of modern mathematics. The key symbols in this block enable precise formal expression:
| Symbol | Code Point | Name | Meaning |
|---|---|---|---|
| ∀ | U+2200 | FOR ALL | Universal quantifier: "for every element" |
| ∁ | U+2201 | COMPLEMENT | Set complement |
| ∂ | U+2202 | PARTIAL DIFFERENTIAL | Partial derivative |
| ∃ | U+2203 | THERE EXISTS | Existential quantifier |
| ∄ | U+2204 | THERE DOES NOT EXIST | Negated existential |
| ∅ | U+2205 | EMPTY SET | The empty set (also ∅ for null/none in programming) |
| ∈ | U+2208 | ELEMENT OF | Membership: x ∈ S means x is in S |
| ∉ | U+2209 | NOT AN ELEMENT OF | x ∉ S |
| ∊ | U+220A | SMALL ELEMENT OF | Variant element-of symbol |
| ∋ | U+220B | CONTAINS AS MEMBER | Reverse membership: S ∋ x |
| ⊂ | U+2282 | SUBSET OF | S ⊂ T: S is a proper subset of T |
| ⊃ | U+2283 | SUPERSET OF | T ⊃ S |
| ⊆ | U+2286 | SUBSET OF OR EQUAL TO | ⊆ allows equality |
| ⊇ | U+2287 | SUPERSET OF OR EQUAL TO | |
| ∪ | U+222A | UNION | A ∪ B: all elements in A or B |
| ∩ | U+2229 | INTERSECTION | A ∩ B: elements in both A and B |
Logic Symbols
Formal logic shares much of its notation with set theory, and the Mathematical Operators block provides all the standard logical connectives:
| Symbol | Code Point | Name | Meaning |
|---|---|---|---|
| ¬ | U+00AC | NOT SIGN | Logical negation (in Latin-1 Supplement, but logically here) |
| ∧ | U+2227 | LOGICAL AND | Conjunction |
| ∨ | U+2228 | LOGICAL OR | Disjunction |
| ⊕ | U+2295 | CIRCLED PLUS | Exclusive OR (XOR) |
| ⊻ | U+22BB | XOR | Alternative XOR symbol |
| ⊤ | U+22A4 | DOWN TACK | Tautology / logical truth |
| ⊥ | U+22A5 | UP TACK | Contradiction / perpendicular |
| ⊢ | U+22A2 | RIGHT TACK | Syntactic entailment |
| ⊨ | U+22A8 | TRUE | Semantic entailment / models |
| ∴ | U+2234 | THEREFORE | Conclusion marker in proofs |
| ∵ | U+2235 | BECAUSE | Reason marker |
Comparison and Relation Operators
| Symbol | Code Point | Name |
|---|---|---|
| ≠ | U+2260 | NOT EQUAL TO |
| ≡ | U+2261 | IDENTICAL TO (triple bar) |
| ≤ | U+2264 | LESS-THAN OR EQUAL TO |
| ≥ | U+2265 | GREATER-THAN OR EQUAL TO |
| ≪ | U+226A | MUCH LESS-THAN |
| ≫ | U+226B | MUCH GREATER-THAN |
| ≈ | U+2248 | ALMOST EQUAL TO |
| ≃ | U+2243 | ASYMPTOTICALLY EQUAL TO |
| ≅ | U+2245 | APPROXIMATELY EQUAL TO |
| ≇ | U+2247 | NEITHER APPROXIMATELY NOR ACTUALLY EQUAL TO |
| ≡ | U+2261 | IDENTICAL TO |
| ≢ | U+2262 | NOT IDENTICAL TO |
| ∝ | U+221D | PROPORTIONAL TO |
| ≺ | U+227A | PRECEDES |
| ≻ | U+227B | SUCCEEDS |
Calculus and Analysis
Analysis relies on several distinctive symbols that the block provides:
- U+222B INTEGRAL
∫— the standard single integral sign - U+222C DOUBLE INTEGRAL
∬— double integral (area) - U+222D TRIPLE INTEGRAL
∭— triple integral (volume) - U+222E CONTOUR INTEGRAL
∮— closed line integral - U+2202 PARTIAL DIFFERENTIAL
∂— partial derivative (also appears in set theory) - U+2207 NABLA
∇— the del/nabla operator for gradient, divergence, curl - U+221E INFINITY
∞— limits, asymptotes, and unbounded sets - U+2211 N-ARY SUMMATION
∑— summation (the capital sigma notation) - U+220F N-ARY PRODUCT
∏— product notation - U+2210 N-ARY COPRODUCT
∐— coproduct in category theory - U+221A SQUARE ROOT
√— radical sign - U+221B CUBE ROOT
∛and U+221C FOURTH ROOT∜
Miscellaneous Notable Operators
| Symbol | Code Point | Name | Common Use |
|---|---|---|---|
| ± | U+00B1 | PLUS-MINUS | Tolerance (in Latin-1, related) |
| ∓ | U+2213 | MINUS-OR-PLUS | Partner to ± |
| ⊗ | U+2297 | CIRCLED TIMES | Tensor product |
| ⊙ | U+2299 | CIRCLED DOT OPERATOR | Dot product variant, Hadamard |
| ⌊ | U+230A | LEFT FLOOR | Floor function ⌊x⌋ |
| ⌋ | U+230B | RIGHT FLOOR | |
| ⌈ | U+2308 | LEFT CEILING | Ceiling function ⌈x⌉ |
| ⌉ | U+2309 | RIGHT CEILING |
Usage in Digital Contexts
In web pages, mathematical operators can be written directly in UTF-8 or using HTML numeric entities (∀ for ∀). In LaTeX, these symbols have macro equivalents (\\forall, \\in, \\cup), but Unicode allows copy-pasteable mathematics in plain text. Python 3 and many modern languages permit Unicode identifiers, so code can use ∀ and ∈ as variable names in mathematical programs, though this remains uncommon in practice. MathML and MathJax render these characters with proper typographic sizing and spacing for publication-quality output.
เพิ่มเติมใน Block Explorer
The Basic Latin block (U+0000–U+007F) is the first Unicode block and covers …
The Latin-1 Supplement block (U+0080–U+00FF) extends ASCII with accented Latin characters for …
The General Punctuation block (U+2000–U+206F) contains typographic spaces, dashes, quotation marks, and …
The Arrows block (U+2190–U+21FF) contains 112 arrow characters including simple directional arrows, …
The Dingbats block (U+2700–U+27BF) was created to encode the Zapf Dingbats typeface …
The Miscellaneous Symbols block (U+2600–U+26FF) is one of Unicode's most eclectic, containing …
The CJK Unified Ideographs block (U+4E00–U+9FFF) is one of the largest Unicode …
The Hangul Syllables block (U+AC00–U+D7A3) contains 11,172 precomposed Korean syllable blocks algorithmically …
Emoji in Unicode span multiple blocks across the Supplementary Multilingual Plane, including …
The Currency Symbols block (U+20A0–U+20CF) contains dedicated Unicode characters for currencies that …
The Box Drawing block (U+2500–U+257F) and Block Elements block (U+2580–U+259F) provide characters …
The Enclosed Alphanumerics block (U+2460–U+24FF) contains circled numbers, parenthesized numbers and letters, …
The Geometric Shapes block (U+25A0–U+25FF) and related blocks contain squares, circles, triangles, …
The Musical Symbols block (U+1D100–U+1D1FF) is a Supplementary Multilingual Plane block containing …