Page U+1200 Page U+2100 Page U+2300 Page U+3200
220 | 221 | 222 | 223 | 224 | 225 | 226 | 227 | 228 | 229 | 22A | 22B | 22C | 22D | 22E | 22F | ||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0 | ∀ | ∐ | ∠ | ∰ | ≀ | ≐ | ≠ | ≰ | ⊀ | ⊐ | ⊠ | ⊰ | ⋀ | ⋐ | ⋠ | ⋰ | 0 |
1 | ∁ | ∑ | ∡ | ∱ | ≁ | ≑ | ≡ | ≱ | ⊁ | ⊑ | ⊡ | ⊱ | ⋁ | ⋑ | ⋡ | ⋱ | 1 |
2 | ∂ | − | ∢ | ∲ | ≂ | ≒ | ≢ | ≲ | ⊂ | ⊒ | ⊢ | ⊲ | ⋂ | ⋒ | ⋢ | ⋲ | 2 |
3 | ∃ | ∓ | ∣ | ∳ | ≃ | ≓ | ≣ | ≳ | ⊃ | ⊓ | ⊣ | ⊳ | ⋃ | ⋓ | ⋣ | ⋳ | 3 |
4 | ∄ | ∔ | ∤ | ∴ | ≄ | ≔ | ≤ | ≴ | ⊄ | ⊔ | ⊤ | ⊴ | ⋄ | ⋔ | ⋤ | ⋴ | 4 |
5 | ∅ | ∕ | ∥ | ∵ | ≅ | ≕ | ≥ | ≵ | ⊅ | ⊕ | ⊥ | ⊵ | ⋅ | ⋕ | ⋥ | ⋵ | 5 |
6 | ∆ | ∖ | ∦ | ∶ | ≆ | ≖ | ≦ | ≶ | ⊆ | ⊖ | ⊦ | ⊶ | ⋆ | ⋖ | ⋦ | ⋶ | 6 |
7 | ∇ | ∗ | ∧ | ∷ | ≇ | ≗ | ≧ | ≷ | ⊇ | ⊗ | ⊧ | ⊷ | ⋇ | ⋗ | ⋧ | ⋷ | 7 |
8 | ∈ | ∘ | ∨ | ∸ | ≈ | ≘ | ≨ | ≸ | ⊈ | ⊘ | ⊨ | ⊸ | ⋈ | ⋘ | ⋨ | ⋸ | 8 |
9 | ∉ | ∙ | ∩ | ∹ | ≉ | ≙ | ≩ | ≹ | ⊉ | ⊙ | ⊩ | ⊹ | ⋉ | ⋙ | ⋩ | ⋹ | 9 |
A | ∊ | √ | ∪ | ∺ | ≊ | ≚ | ≪ | ≺ | ⊊ | ⊚ | ⊪ | ⊺ | ⋊ | ⋚ | ⋪ | ⋺ | A |
B | ∋ | ∛ | ∫ | ∻ | ≋ | ≛ | ≫ | ≻ | ⊋ | ⊛ | ⊫ | ⊻ | ⋋ | ⋛ | ⋫ | ⋻ | B |
C | ∌ | ∜ | ∬ | ∼ | ≌ | ≜ | ≬ | ≼ | ⊌ | ⊜ | ⊬ | ⊼ | ⋌ | ⋜ | ⋬ | ⋼ | C |
D | ∍ | ∝ | ∭ | ∽ | ≍ | ≝ | ≭ | ≽ | ⊍ | ⊝ | ⊭ | ⊽ | ⋍ | ⋝ | ⋭ | ⋽ | D |
E | ∎ | ∞ | ∮ | ∾ | ≎ | ≞ | ≮ | ≾ | ⊎ | ⊞ | ⊮ | ⊾ | ⋎ | ⋞ | ⋮ | ⋾ | E |
F | ∏ | ∟ | ∯ | ∿ | ≏ | ≟ | ≯ | ≿ | ⊏ | ⊟ | ⊯ | ⊿ | ⋏ | ⋟ | ⋯ | ⋿ | F |
220 | 221 | 222 | 223 | 224 | 225 | 226 | 227 | 228 | 229 | 22A | 22B | 22C | 22D | 22E | 22F |
This document was generated automatically by a CGI script, and edited manually to insert this commentary. When I display this page using Lucida Sans Unicode, a number of the characters in the page display as character-unavailable boxes (similar in style to characters U+25A1 and U+25AF, but with different proportions), even though they are present in the Lucida Sans Unicode font, according to the Character Map program. Specifically:
Char | Dec | Entity | Entity description (HTML 4.0) | Unicode description |
---|---|---|---|---|
∀ U+2200 ∀ | ∀ 8704 | ∀ forall | for all, U+2200 ISOtech | FOR ALL |
∃ U+2203 ∃ | ∃ 8707 | ∃ exist | there exists, U+2203 ISOtech | THERE EXISTS |
∇ U+2207 ∇ | ∇ 8711 | ∇ nabla | nabla = backward difference, U+2207 ISOtech | NABLA = Laplace operator (written with superscript 2) = backward difference = del → 25BD ▽ white down-pointing triangle |
∈ U+2208 ∈ | ∈ 8712 | ∈ isin | element of, U+2208 ISOtech | ELEMENT OF |
∋ U+220B ∋ | ∋ 8715 | ∋ ni | contains as member, U+220B ISOtech (should there be a more memorable name than 'ni'?) | CONTAINS AS A MEMBER = such that |
∝ U+221D ∝ | ∝ 8733 | ∝ prop | proportional to, U+221D ISOtech | PROPORTIONAL TO → 03B1 α greek small letter alpha |
∠ U+2220 ∠ | ∠ 8736 | ∠ ang | angle, U+2220 ISOamso | ANGLE |
∣ U+2223 ∣ | ∣ 8739 | DIVIDES = such that = APL stile → 007C | vertical line → 01C0 ǀ latin letter dental click |
||
∥ U+2225 ∥ | ∥ 8741 | PARALLEL TO → 01C1 ǁ latin letter lateral click → 2016 ‖ double vertical line |
||
∧ U+2227 ∧ | ∧ 8743 | ∧ and | logical and = wedge, U+2227 ISOtech | LOGICAL AND = wedge |
∨ U+2228 ∨ | ∨ 8744 | ∨ or | logical or = vee, U+2228 ISOtech | LOGICAL OR = vee |
∪ U+222A ∪ | ∪ 8746 | ∪ cup | union = cup, U+222A ISOtech | UNION = cup |
∬ U+222C ∬ | ∬ 8748 | DOUBLE INTEGRAL = 222B ∫ + 222B ∫ |
||
∮ U+222E ∮ | ∮ 8750 | CONTOUR INTEGRAL | ||
∴ U+2234 ∴ | ∴ 8756 | ∴ there4 | therefore, U+2234 ISOtech | THEREFORE |
U+2235 ∵ | ∵ 8757 | BECAUSE | ||
U+2236 ∶ | ∶ 8758 | RATIO → 003A : colon |
||
U+2237 ∷ | ∷ 8759 | PROPORTION | ||
U+223C ∼ | ∼ 8764 | ∼ sim | tilde operator = varies with = similar to,
U+223C ISOtech (tilde operator is NOT the same character as the tilde, U+007E, although the same glyph might be used to represent both ) |
TILDE OPERATOR = varies with (proportional to) = difference between = similar to = APL tilde = cycle = not → 007E ~ tilde → 02DC ˜ small tilde |
U+223D ∽ | ∽ 8765 | REVERSED TILDE = lazy S · reversed tilde and lazy S are glyph variants |
||
U+224C ≌ | ≌ 8780 | ALL EQUAL TO · reversed tilde and lazy S are glyph variants |
||
U+2252 ≒ | ≒ 8786 | APPROXIMATELY EQUAL TO OR THE IMAGE OF = nearly equals |
||
U+2266 ≦ | ≦ 8806 | LESS-THAN OVER EQUAL TO | ||
U+2267 ≧ | ≧ 8807 | GREATER-THAN OVER EQUAL TO | ||
U+226A ≪ | ≪ 8810 | MUCH LESS-THAN → 00AB « left-pointing double angle quotation mark |
||
U+226B ≫ | ≫ 8811 | MUCH GREATER-THAN → 00BB » right-pointing double angle quotation mark |
||
U+226E ≮ | ≮ 8814 | NOT LESS-THAN ≡ 003C < + 0338 ◌̸ |
||
U+226F ≯ | ≯ 8815 | NOT GREATER-THAN ≡ 003E > + 0338 ◌̸ |
||
U+2282 ⊂ | ⊂ 8834 | ⊂ sub | subset of, U+2282 ISOtech | SUBSET OF |
U+2283 ⊃ | ⊃ 8835 | ⊃ sup | superset of, U+2283 ISOtech (note that nsup, 'not a superset of, U+2283' is not covered by the Symbol font encoding and is not included. Should it be, for symmetry? It is in ISOamsn ) |
SUPERSET OF |
U+2286 ⊆ | ⊆ 8838 | ⊆ sube | subset of or equal to, U+2286 ISOtech | SUBSET OF OR EQUAL-TO |
U+2287 ⊇ | ⊇ 8839 | ⊇ supe | superset of or equal to, U+2287 ISOtech | SUPERSET OF OR EQUAL-TO |
U+2295 ⊕ | ⊕ 8853 | ⊕ oplus | circled plus = direct sum, U+2295 ISOamsb | CIRCLED PLUS = direct sum = vector pointing into page → 2641 ♁ earth |
U+2299 ⊙ | ⊙ 8857 | CIRCLED DOT OPERATOR = direct product = vector pointing out of page → 0298 ʘ latin letter BILABIAL CLICK → 2609 ☉ sun |
||
U+22A5 ⊥ | ⊥ 8869 | ⊥ perp | up tack = orthogonal to = perpendicular, U+22A5 ISOtech | UP TACK = orthogonal to = perpendicular · APL and other uses |
U+22BF ⊿ | ⊿ 8895 | RIGHT TRIANGLE |
(To do: try inserting literals.)
Note that there are named entities in the HTML 4.0 DTD for many, but not all, of these characters.
For comparison, here are the characters in this area of Unicode which have entity names in the HTML 4.0 DTD and which do display correctly: