Sample Unicode Code Page U+2200

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: