| Description | Symbol | HTML Entity | HTML Decimal Code | HTML Hex Code |
|---|---|---|---|---|
| For all (universal quantifier) | ∀ | ∀ | ∀ | ∀ |
| There exists (existential quantifier) | ∃ | ∃ | ∃ | ∃ |
| There does not exist | ∄ | -- | ∄ | ∄ |
| Empty set (null set; diameter) | ∅ | ∅ | ∅ | ∅ |
| Complement | ∁ | -- | ∁ | ∁ |
| Intersection (cap) | ∩ | ∩ | ∩ | ∩ |
| Union (cup) | ∪ | ∪ | ∪ | ∪ |
| Multiset (U with arrow) | ⊌ | -- | ⊌ | ⊌ |
| Multiset multiplication (U with dot in center) | ⊍ | -- | ⊍ | ⊍ |
| Multiset union (U with plus in center) | ⊎ | -- | ⊎ | ⊎ |
| Double subset | ⋐ | -- | ⋐ | ⋐ |
| Double superset | ⋑ | -- | ⋑ | ⋑ |
| Double intersection | ⋒ | -- | ⋒ | ⋒ |
| Double union | ⋓ | -- | ⋓ | ⋓ |
| Element of | ∈ | ∈ | ∈ | ∈ |
| Not an element of | ∉ | ∉ | ∉ | ∉ |
| Small element of | ∊ | -- | ∊ | ∊ |
| Contains as member (such that) | ∋ | ∋ | ∋ | ∋ |
| Does not contain as member | ∌ | -- | ∌ | ∌ |
| Small contains as member | ∍ | -- | ∍ | ∍ |
| Set difference | \ | -- | ∖ | ∖ |
| Subset of | ⊂ | ⊂ | ⊂ | ⊂ |
| Superset of | ⊃ | ⊃ | ⊃ | ⊃ |
| Not a subset of | ⊄ | ⊄ | ⊄ | ⊄ |
| Not a superset of | ⊅ | -- | ⊅ | ⊅ |
| Subset of or equal to | ⊆ | ⊆ | ⊆ | ⊆ |
| Superset of or equal to | ⊇ | ⊇ | ⊇ | ⊇ |
| Neither a subset of nor equal to | ⊈ | -- | ⊈ | ⊈ |
| Neither a superset of or equal to | ⊉ | -- | ⊉ | ⊉ |
| Subset of with not equal to | ⊊ | -- | ⊊ | ⊊ |
| Subset of with not equal to | ⊋ | -- | ⊋ | ⊋ |
| N-ary product (product sign) | ∏ | ∏ | ∏ | ∏ |
| N-ary co-product | ∐ | -- | ∐ | ∐ |
| N-ary summation | ∑ | ∑ | ∑ | ∑ |
| Square root (radical sign) | √ | √ | √ | √ |
| Cube root | ∛ | -- | ∛ | ∛ |
| Fourth root | ∜ | -- | ∜ | ∜ |
| Logical AND (conjunction) | ∧ | ∧ | ∧ | ∧ |
| Logical OR (disjunction) | ∨ | ∨ | ∨ | ∨ |
| XOR | ⊻ | -- | ⊻ | ⊻ |
| NAND | ⊼ | -- | ⊼ | ⊼ |
| NOR | ⊽ | -- | ⊽ | ⊽ |
| N-ary logical AND | ⋀ | -- | ⋀ | ⋀ |
| N-ary logical OR | ⋁ | -- | ⋁ | ⋁ |
| N-ary intersection | ⋂ | -- | ⋂ | ⋂ |
| N-ary union | ⋃ | -- | ⋃ | ⋃ |
| Curly logical OR | ⋎ | -- | ⋎ | ⋎ |
| Curly logical AND | ⋏ | -- | ⋏ | ⋏ |
| Negation | ¬ | ¬ | ¬ | ¬ |
| Partial differential | ∂ | ∂ | ∂ | ࢚ |
| Increment (difference) | Δ | δ | ∆ | ∆ |
| Nabla (backward difference) | ∇ | ∇ | ∇ | ∇ |
| Integral | ∫ | ∫ | ∫ | ∫ |
| Double integral | ∬ | -- | ∬ | ∬ |
| Triple integral | ∭ | -- | ∭ | ∭ |
| Quadruple integral | ⨌ | -- | ⨌ | ⨌ |
| Contour integral | ∮ | -- | ∮ | ∮ |
| Surface integral | ∯ | -- | ∯ | ∯ |
| Volume integral | ∰ | -- | ∰ | ∰ |
| Clockwise integral | ∱ | -- | ∱ | ∱ |
| Anticlockwise integral | ⨑ | -- | ⨑ | ⨑ |
| Clockwise contour integral | ∲ | -- | ∲ | ∲ |
| Anticlockwise contour integral | ∳ | -- | ∳ | ∳ |
| Element of, with long horizontal stroke | ⋲ | -- | ⋲ | ⋲ |
| Element of, with vertical bar at end of horizontal stroke | ⋳ | -- | ⋳ | ⋳ |
| Small element of, with vertical bar at end of horizontal stroke | ⋴ | -- | ⋴ | ⋴ |
| Element of, with dot above | ⋵ | -- | ⋵ | ⋵ |
| Element of, with overbar | ⋶ | -- | ⋶ | ⋶ |
| Small element of, with overbar | ⋷ | -- | ⋷ | ⋷ |
| Element of, with underbar | ⋸ | -- | ⋸ | ⋸ |
| Element of, with two horizontal strokes | ⋹ | -- | ⋹ | ⋹ |
| Contains, with long horizontal stroke | ⋺ | -- | ⋺ | ⋺ |
| Contains, with vertical bar at end of horizontal stroke | ⋻ | -- | ⋻ | ⋻ |
| Small contains, with vertical bar at end of horizontal stroke | ⋼ | -- | ⋼ | ⋼ |
| Contains, with overbar | ⋽ | -- | ⋽ | ⋽ |
| Small contains, with overbar | ⋾ | -- | ⋾ | ⋾ |
| Notation bag membership | ⋿ | -- | ⋿ | ⋿ |
| Diamond operator (possibility) | ⋄ | -- | ⋄ | ⋄ |
| Dot operator | ⋅ | -- | ⋅ | ⋅ |
| Star operator | ⋆ | -- | ⋆ | ⋆ |
| Asterisk operator | ∗ | ∗ | ∗ | ∗ |
| Therefore (conclusion) | ∴ | ∴ | ∴ | ∴ |
| Because | ∵ | -- | ∵ | ∵ |
| Proportional to | ∝ | ∝ | ∝ | ∝ |
| End of proof | ∎ | -- | ∎ | ∎ |
| Tilde operator (varies with; similar to) | ∼ | ∼ | ∼ | ∼ |
| Reversed tilde | ∽ | -- | ∽ | ∽ |
| Reversed tilde equals | ⋍ | -- | ⋍ | ⋍ |
| Not tilde | ≁ | -- | ≁ | ≁ |
| Minus tilde | ≂ | -- | ≂ | ≂ |
| Not equivalent to | ≭ | -- | ≭ | ≭ |
| Approximately, but not actually equal to | ≆ | -- | ≆ | ≆ |
| Neither approximately nor actually equal to | ≇ | -- | ≇ | ≇ |
| Almost equal or equal to | ≊ | -- | ≊ | ≊ |
| Triple tilde | ≋ | -- | ≋ | ≋ |
| All equal to | ≌ | -- | ≌ | ≌ |
| Approximately equal to | ≅ | ≅ | ≅ | ≅ |
| Almost equal to (asymptotic to) | ≈ | ≈ | ≈ | ≈ |
| Asymptotically equal to | ≃ | -- | ≃ | ≃ |
| Not almost equal to | ≉ | -- | ≉ | ≉ |
| Not asymptotically equal to | ≄ | -- | ≄ | ≄ |
| Not equal to | ≠ | ≠ | ≠ | ≠ |
| Identical to (equivalent) | ≡ | ≡ | ≡ | ≡ |
| Not identical to | ≢ | -- | ≢ | ≢ |
| Strictly equivalent to | ≣ | -- | ≣ | ≣ |
| Not identical to | ≢ | -- | ≢ | ≢ |
| Between | ≬ | -- | ≬ | ≬ |
| Less than | < | < | < | < |
| Greater than | >> | > | > | > |
| Less than or equal to | ≤ | ≤ | ≤ | ≤ |
| Greater than or equal to | ≥ | ≥ | ≥ | ≥ |
| Much less than | ≪ | -- | ≪ | ≪ |
| Much greater than | ≫ | -- | ≫ | ≫ |
| Less than over equal to | ≦ | -- | ≦ | ≦ |
| Greater than over equal to | ≧ | -- | ≧ | ≧ |
| Less than but not equal to | ≨ | -- | ≨ | ≨ |
| Greater than but not equal to | ≩ | -- | ≩ | ≩ |
| Not less than | ≮ | -- | ≮ | ≮ |
| Not greater than | ≯ | -- | ≯ | ≯ |
| Neither less than nor equal to | ≰ | -- | ≰ | ≰ |
| Neither greater than nor equal to | ≱ | -- | ≱ | ≱ |
| Less than or equivalent to | ≲ | -- | ≲ | ≲ |
| Greater than or equivalent to | ≳ | -- | ≳ | ≳ |
| Neither less than nor equivalent to | ≴ | -- | ≴ | ≴ |
| Neither greater than nor equivalent to | ≵ | -- | ≵ | ≵ |
| Less than or greater than | ≶ | -- | ≶ | ≶ |
| Greater than or less than | ≷ | -- | ≷ | ≷ |
| Neither less than nor greater than | ≸ | -- | ≸ | ≸ |
| Neither greater than nor less than | ≹ | -- | ≹ | ≹ |
| Circled plus (direct sum) | ⊕ | ⊕ | ⊕ | ⊕ |
| Circled times (vector product) | ⊗ | ⊗ | ⊗ | ⊗ |
| Circled minus | ⊖ | -- | ⊖ | ⊖ |
| Circled division | ⊘ | -- | ⊘ | ⊘ |
| Circled dot operator | ⊙ | -- | ⊙ | ⊙ |
| Circled ring operator | ⊚ | -- | ⊚ | ⊚ |
| Circled asterisk operator | ⊛ | -- | ⊛ | ⊛ |
| Circled equals | ⊜ | -- | ⊜ | ⊜ |
| Circled dash | ⊝ | -- | ⊝ | ⊝ |
| Squared plus | ⊞ | -- | ⊞ | ⊞ |
| Squared minus | ⊟ | -- | ⊟ | ⊟ |
| Squared times | ⊠ | -- | ⊠ | ⊠ |
| Up tack (orthogonal to; perpendicular) | ⊥ | ⊥ | ⊥ | ⊥ |
| Right tack | ⊢ | -- | ⊢ | ⊢ |
| Left tack | ⊣ | -- | ⊣ | ⊣ |
| Down tack | ⊤ | -- | ⊤ | ⊤ |
| Peirce arrow | ↓ | ↓ | ↓ | ↓ |
| Scheffer stroke | | | -- | | | | |
| Left ceiling | ⌈ | ⌈ | ⌈ | ⌈ |
| Right ceiling | ⌉ | ⌉ | ⌉ | ⌉ |
| Left floor | ⌊ | ⌊ | ⌊ | ⌊ |
| Right floor | ⌋ | ⌋ | ⌋ | ⌋ |
| Left angle bracket | 〈 | ⟨ | 〈 | 〈 |
| Right angle bracket | 〉 | ⟩ | 〉 | 〉 |
| Plus or minus | ± | ± | ± | ± |
| Minus or plus | ∓ | -- | ∓ | ∓ |
| Multiplication sign | × | × | × | × |
| Plus sign | + | + | + | + |
| Minus sign | – | − | − | − |
| Division sign | ÷ | ÷ | ÷ | ÷ |
| Function | ⨍ | ƒ | ƒ | ƒ |
| Fraction slash | / | ⁄ | ⁄ | ⁄ |
| Infinity | ∞ | ∞ | ∞ | ∞ |
| Prime | ′ | ′ | ′ | ′ |
| Double prime | ″ | ″ | ″ | ″ |
| Triple prime | ‴ | -- | ‴ | ‴ |
| Degree | ° | ° | ° | ° |
| Per cent | % | -- | % | % |
| Per mille | ‰ | ‰ | ‰ | ‰ |
| Angle | ∠ | ∠ | ∠ | ∠ |
| Right angle | ∟ | -- | ∟ | ∟ |
| Measured angle | ∡ | -- | ∡ | ∡ |
| Spherical angle | ∢ | -- | ∢ | ∢ |
| Divides | ∣ | -- | ∣ | ∣ |
| Does not divide | ∤ | -- | ∤ | ∤ |
| Parallel to | ∥ | -- | ∥ | ∥ |
| Not parallel to | ∦ | -- | ∦ | ∦ |
| Right angle with arc | ⊾ | -- | ⊾ | ⊾ |
| Right triangle | ⊿ | -- | ⊿ | ⊿ |
| Dot plus | ∔ | -- | ∔ | ∔ |
| Ring operator | ∘ | -- | ∘ | ∘ |
| Bullet operator | ∙ | -- | ∙ | ∙ |
| Ratio | ∶ | -- | ∶ | ∶ |
| Proportion | ∷ | -- | ∷ | ∷ |
| Dot minus | ∸ | -- | ∸ | ∸ |
| Excess | ∹ | -- | ∹ | ∹ |
| Geometric proportion | ∺ | -- | ∺ | ∺ |
| Homothetic | ∻ | -- | ∻ | ∻ |
| Inverted lazy s | ∾ | -- | ∾ | ∾ |
| Sine wave | ∿ | -- | ∿ | ∿ |
| Wreath product | ≀ | -- | ≀ | ≀ |
| Equivalent to | ≍ | -- | ≍ | ≍ |
| Geometrically equivalent to | ≎ | -- | ≎ | ≎ |
| Difference between | ≏ | -- | ≏ | ≏ |
| Approaches the limit | ≐ | -- | ≐ | ≐ |
| Geometrically equal to | ≑ | -- | ≑ | ≑ |
| Approximately equal to or the image of | ≒ | -- | ≒ | ≒ |
| Image of or approximately equal to | ≓ | -- | ≓ | ≓ |
| Colon equals | ≔ | -- | ≔ | ≔ |
| Equals colon | ≕ | -- | ≕ | ≕ |
| Ring in equal to | ≖ | -- | ≖ | ≖ |
| Ring equal to | ≗ | -- | ≗ | ≗ |
| Corresponds to | ≘ | -- | ≘ | ≘ |
| Estimates | ≙ | -- | ≙ | ≙ |
| Equiangular to | ≚ | -- | ≚ | ≚ |
| Star equals | ≛ | -- | ≛ | ≛ |
| Delta equal to | ≜ | -- | ≜ | ≜ |
| Equal to by definition | ≝ | -- | ≝ | ≝ |
| Measured by | ≞ | -- | ≞ | ≞ |
| Questioned equal to | ≟ | -- | ≟ | ≟ |
| Precedes | ≺ | -- | ≺ | ≺ |
| Succeeds | ≻ | -- | ≻ | ≻ |
| Precedes or equal to | ≼ | -- | ≼ | ≼ |
| Succeeds or equal to | ≽ | -- | ≽ | ≽ |
| Precedes or equivalent to | ≾ | -- | ≾ | ≾ |
| Succeeds or equivalent to | ≿ | -- | ≿ | ≿ |
| Does not precede | ⊀ | -- | ⊀ | ⊀ |
| Does not succeed | ⊁ | -- | ⊁ | ⊁ |
| Square image of | ⊏ | -- | ⊏ | ⊏ |
| Square original of | ⊐ | -- | ⊐ | ⊐ |
| Square image of or equal to | ⊑ | -- | ⊑ | ⊑ |
| Square original of or equal to | ⊒ | -- | ⊒ | ⊒ |
| Square cap | ⊓ | -- | ⊓ | ⊓ |
| Square cup | ⊔ | -- | ⊔ | ⊔ |
| Squared dot operator | ⊪ | -- | ⊪ | ⊪ |
| Assertion | ⊦ | -- | ⊦ | ⊦ |
| Models | ⊧ | -- | ⊧ | ⊧ |
| True | ⊨ | -- | ⊨ | ⊨ |
| Forces | ⊩ | -- | ⊩ | ⊩ |
| Triple vertical bar right turnstile | ⊪ | -- | ⊪ | ⊪ |
| Double vertical bar double right turnstile | ⊫ | -- | ⊫ | ⊫ |
| Does not prove | ⊬ | -- | ⊬ | ⊬ |
| Not true | ⊭ | -- | ⊭ | ⊭ |
| Does not force | ⊮ | -- | ⊮ | ⊮ |
| Negated double vertical bar double right turnstile | ⊯ | -- | ⊯ | ⊯ |
| Precedes under relation | ⊰ | -- | ⊰ | ⊰ |
| Succeeds under relation | ⊱ | -- | ⊱ | ⊱ |
| Normal subgroup of | ⊲ | -- | ⊲ | ⊲ |
| Contains as normal subgroup | ⊳ | -- | ⊳ | ⊳ |
| Normal subgroup of or equal to | ⊴ | -- | ⊴ | ⊴ |
| Contains as normal subgroup or equal to | ⊵ | -- | ⊵ | ⊵ |
| Original of | ⊶ | -- | ⊶ | ⊶ |
| Image of | ⊷ | -- | ⊷ | ⊷ |
| Multimap | ⊸ | -- | ⊸ | ⊸ |
| Hermitian conjugate matrix | ⊹ | -- | ⊹ | ⊹ |
| Intercalate | ⊺ | -- | ⊺ | ⊺ |
| Division times | ⋇ | -- | ⋇ | ⋇ |
| Bowtie | ⋈ | -- | ⋈ | ⋈ |
| Left normal factor semi-direct product | ⋉ | -- | ⋉ | ⋉ |
| Right normal factor semi-direct product | ⋊ | -- | ⋊ | ⋊ |
| Left semi-direct product | ⋋ | -- | ⋋ | ⋋ |
| Right semi-direct product | ⋌ | -- | ⋌ | ⋌ |
| Pitchfork | ⋔ | -- | ⋔ | ⋔ |
| Equal and parallel to | ⋕ | -- | ⋕ | ⋕ |
| Less than with dot | ⋖ | -- | ⋖ | ⋖ |
| Greater than with dot | ⋗ | -- | ⋗ | ⋗ |
| Very much less than | ⋘ | -- | ⋘ | ⋘ |
| Very much greater than | ⋙ | -- | ⋙ | ⋙ |
| Less than, equal to, or greater than | ⋚ | -- | ⋚ | ⋚ |
| Greater than, equal to, or less than | ⋛ | -- | ⋛ | ⋛ |
| Equal to or less than | ⋜ | -- | ⋜ | ⋜ |
| Equal to or greater than | ⋝ | -- | ⋝ | ⋝ |
| Equal to or precedes | ⋞ | -- | ⋞ | ⋞ |
| Equal to or succeeds | ⋟ | -- | ⋟ | ⋟ |
| Does not precede or equal | ⋠ | -- | ⋠ | ⋠ |
| Does not succeed or equal | ⋡ | -- | ⋡ | ⋡ |
| Not square image of or equal to | ⋢ | -- | ⋢ | ⋢ |
| Not square original of or equal to | ⋣ | -- | ⋣ | ⋣ |
| Square image of or not equal to | ⋤ | -- | ⋤ | ⋤ |
| Square original of or not equal to | ⋥ | -- | ⋥ | ⋥ |
| Less than but not equivalent to | ⋦ | -- | ⋦ | ⋦ |
| Greater than but not equivalent to | ⋧ | -- | ⋧ | ⋧ |
| Precedes but not equivalent to | ⋨ | -- | ⋨ | ⋨ |
| Succeeds but not equivalent to | ⋩ | -- | ⋩ | ⋩ |
| Not a normal subgroup of | ⋪ | -- | ⋪ | ⋪ |
| Does not contain as a normal subgroup | ⋫ | -- | ⋫ | ⋫ |
| Not a normal subgroup of or equal to | ⋬ | -- | ⋬ | ⋬ |
| Does not contain as a normal subgroup or equal | ⋭ | -- | ⋭ | ⋭ |
| Vertical ellipsis | ⋮ | -- | ⋮ | ⋮ |
| Midline horizontal ellipsis | ⋯ | -- | ⋯ | ⋯ |
| Up right diagonal ellipsis | ⋰ | -- | ⋰ | ⋰ |
| Down right diagonal ellipsis | ⋱ | -- | ⋱ | ⋱ |
| Leftward arrow | ← | ← | ← | ← |
| Rightward arrow (conditional) | → | → | → | → |
| Downward arrow (bi-conditional) | ↓ | ↓ | ↓ | ↓ |
| Upward arrow | ↑ | ↑ | ↑ | ↑ |
| Bi-directional arrow | ↔ | ↔ | ↔ | ↔ |
| Carriage return | ↵ | ↵ | ↵ | ↵ |
| Leftward double arrow | ⇐ | ⇐ | ⇐ | ⇐ |
| Upward double arrow | ⇑ | ⇑ | ⇑ | ⇑ |
| Rightward double arrow | ⇒ | ⇒ | ⇒ | ⇒ |
| Downward double arrow | ⇓ | ⇓ | ⇓ | ⇓ |
| Bi-directional double arrow | ⇔ | ⇔ | ⇔ | ⇔ |