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