10         assert('\ƒ'==402);  in main()
11         assert('\Α'==913);  in main()
12         assert('\Β'==914);  in main()
13         assert('\Γ'==915);  in main()
14         assert('\Δ'==916);  in main()
15         assert('\Ε'==917);  in main()
16         assert('\Ζ'==918);  in main()
17         assert('\Η'==919);  in main()
18         assert('\Θ'==920);  in main()
19         assert('\Ι'==921);  in main()
20         assert('\Κ'==922);  in main()
21         assert('\Λ'==923);  in main()
22         assert('\Μ'==924);  in main()
23         assert('\Ν'==925);  in main()
24         assert('\Ξ'==926);  in main()
25         assert('\Ο'==927);  in main()
26         assert('\Π'==928);  in main()
27         assert('\Ρ'==929);  in main()
28         assert('\Σ'==931);  in main()
29         assert('\Τ'==932);  in main()
30         assert('\Υ'==933);  in main()
31         assert('\Φ'==934);  in main()
32         assert('\Χ'==935);  in main()
33         assert('\Ψ'==936);  in main()
34         assert('\Ω'==937);  in main()
35         assert('\α'==945);  in main()
36         assert('\β'==946);  in main()
37         assert('\γ'==947);  in main()
38         assert('\δ'==948);  in main()
39         assert('\ε'==949);  in main()
40         assert('\ζ'==950);  in main()
41         assert('\η'==951);  in main()
42         assert('\θ'==952);  in main()
43         assert('\ι'==953);  in main()
44         assert('\κ'==954);  in main()
45         assert('\λ'==955);  in main()
46         assert('\μ'==956);  in main()
47         assert('\ν'==957);  in main()
48         assert('\ξ'==958);  in main()
49         assert('\ο'==959);  in main()
50         assert('\π'==960);  in main()
51         assert('\ρ'==961);  in main()
52         assert('\ς'==962);  in main()
53         assert('\σ'==963);  in main()
54         assert('\τ'==964);  in main()
55         assert('\υ'==965);  in main()
56         assert('\φ'==966);  in main()
57         assert('\χ'==967);  in main()
58         assert('\ψ'==968);  in main()
59         assert('\ω'==969);  in main()
60         assert('\ϑ'==977);  in main()
61         assert('\ϒ'==978);  in main()
62         assert('\ϖ'==982);  in main()
63         assert('\•'==8226);  in main()
64         assert('\…'==8230);  in main()
65         assert('\′'==8242);  in main()
66         assert('\″'==8243);  in main()
67         assert('\‾'==8254);  in main()
68         assert('\⁄'==8260);  in main()
69         assert('\℘'==8472);  in main()
70         assert('\ℑ'==8465);  in main()
71         assert('\ℜ'==8476);  in main()
72         assert('\™'==8482);  in main()
73         assert('\ℵ'==8501);  in main()
74         assert('\←'==8592);  in main()
75         assert('\↑'==8593);  in main()
76         assert('\→'==8594);  in main()
77         assert('\↓'==8595);  in main()
78         assert('\↔'==8596);  in main()
79         assert('\↵'==8629);  in main()
80         assert('\⇐'==8656);  in main()
81         assert('\⇑'==8657);  in main()
82         assert('\⇒'==8658);  in main()
83         assert('\⇓'==8659);  in main()
84         assert('\⇔'==8660);  in main()
85         assert('\∀'==8704);  in main()
86         assert('\∂'==8706);  in main()
87         assert('\∃'==8707);  in main()
88         assert('\∅'==8709);  in main()
89         assert('\∇'==8711);  in main()
90         assert('\∈'==8712);  in main()
91         assert('\∉'==8713);  in main()
92         assert('\∋'==8715);  in main()
93         assert('\∏'==8719);  in main()
94         assert('\∑'==8721);  in main()
95         assert('\−'==8722);  in main()
96         assert('\∗'==8727);  in main()
97         assert('\√'==8730);  in main()
98         assert('\∝'==8733);  in main()
99         assert('\∞'==8734);  in main()
100         assert('\∠'==8736);  in main()
101         assert('\∧'==8743);  in main()
102         assert('\∨'==8744);  in main()
103         assert('\∩'==8745);  in main()
104         assert('\∪'==8746);  in main()
105         assert('\∫'==8747);  in main()
106         assert('\∴'==8756);  in main()
107         assert('\∼'==8764);  in main()
108         assert('\≅'==8773);  in main()
109         assert('\≈'==8776);  in main()
110         assert('\≠'==8800);  in main()
111         assert('\≡'==8801);  in main()
112         assert('\≤'==8804);  in main()
113         assert('\≥'==8805);  in main()
114         assert('\⊂'==8834);  in main()
115         assert('\⊃'==8835);  in main()
116         assert('\⊄'==8836);  in main()
117         assert('\⊆'==8838);  in main()
118         assert('\⊇'==8839);  in main()
119         assert('\⊕'==8853);  in main()
120         assert('\⊗'==8855);  in main()
121         assert('\⊥'==8869);  in main()
122         assert('\⋅'==8901);  in main()
123         assert('\⌈'==8968);  in main()
124         assert('\⌉'==8969);  in main()
125         assert('\⌊'==8970);  in main()
126         assert('\⌋'==8971);  in main()
129 … assert('\⟨'==0x27E8); // valid for HTML 5 and later. The character was introduced in HTML 3.2  in main()
130 … assert('\⟩'==0x27E9); // valid for HTML 5 and later. The character was introduced in HTML 3.2  in main()
131         assert('\◊'==9674);  in main()
132         assert('\♠'==9824);  in main()
133         assert('\♣'==9827);  in main()
134         assert('\♥'==9829);  in main()
135         assert('\♦'==9830);  in main()
140 static assert('\✓'==10003);
141 static assert('\≲'==8818);
142 static assert('\№'==8470);
143 static assert('\⌝'==8989);
144 static assert('\Ż'==379);