6
|
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
|
|
2 <html>
|
756
|
3 <head><title>dstress.run.html_entity_amsc</title></head>
|
|
4 <body><pre><CODE>
|
|
5 module dstress.run.html_entity_amsc;
|
|
6
|
6
|
7 int main(){
|
756
|
8 static assert('⌞' == 0x231E);
|
|
9 static assert('⌟' == 0x231F);
|
|
10 static assert('⦕' == 0x2995);
|
|
11 static assert('⦑' == 0x2991);
|
|
12 static assert('⦋' == 0x298B);
|
|
13 static assert('⦏' == 0x298F);
|
|
14 static assert('⦍' == 0x298D);
|
|
15 static assert('⌈' == 0x2308);
|
|
16 static assert('⌊' == 0x230A);
|
|
17 static assert('⎰' == 0x23B0);
|
|
18 static assert('⦓' == 0x2993);
|
|
19 static assert('⦖' == 0x2996);
|
|
20 static assert('⦒' == 0x2992);
|
|
21 static assert('⦌' == 0x298C);
|
|
22 static assert('⦎' == 0x298E);
|
|
23 static assert('⦐' == 0x2990);
|
|
24 static assert('⌉' == 0x2309);
|
|
25 static assert('⌋' == 0x230B);
|
|
26 static assert('⎱' == 0x23B1);
|
|
27 static assert('⦔' == 0x2994);
|
|
28 static assert('⌜' == 0x231C);
|
|
29 static assert('⌝' == 0x231D);
|
6
|
30 return 0;
|
|
31 }
|
756
|
32 </CODE></pre></body>
|
6
|
33 </html>
|