]> matita.cs.unibo.it Git - helm.git/blob - helm/dtd/isoamsa.ent
snapshort
[helm.git] / helm / dtd / isoamsa.ent
1
2 <!--
3      File isoamsa.ent produced by the XSL script mmldtd.xsl
4      from input data in unicode.xml.
5
6      Please report any errors to 
7      David Carlisle <davidc@nag.co.uk>.
8
9      The numeric character values assigned to each entity
10      (should) match either official Unicode assignments
11      or assignments provisionally allocated by the
12      Unicode Consortium based on the characters in the `STIX'
13      propsal for mathematics. Note that these assignments
14      have not been ratified by the corresponding ISO
15      committee and thus should be considered liable to
16      change.
17
18      Entity names in this file are derived from files carrying the
19      following notice:
20
21      (C) International Organization for Standardization 1991
22      Permission to copy in any form is granted for use with
23      conforming SGML systems and applications as defined in
24      ISO 8879, provided this notice is included in all copies.
25
26 -->
27
28 <!ENTITY angzarr          "&#x0237C;" ><!--angle with down zig-zag arrow -->
29 <!ENTITY cirmid           "&#x02AEF;" ><!--circle, mid below -->
30 <!ENTITY cudarrl          "&#x02938;" ><!--left, curved, down arrow -->
31 <!ENTITY cudarrr          "&#x02935;" ><!--right, curved, down arrow -->
32 <!ENTITY cularr           "&#x021B6;" ><!--/curvearrowleft A: left curved arrow -->
33 <!ENTITY cularrp          "&#x0293D;" ><!--curved left arrow with plus -->
34 <!ENTITY curarr           "&#x021B7;" ><!--/curvearrowright A: rt curved arrow -->
35 <!ENTITY curarrm          "&#x0293C;" ><!--curved right arrow with minus -->
36 <!ENTITY dArr             "&#x021D3;" ><!--/Downarrow A: down dbl arrow -->
37 <!ENTITY Darr             "&#x021A1;" ><!--down two-headed arrow -->
38 <!ENTITY ddarr            "&#x021CA;" ><!--/downdownarrows A: two down arrows -->
39 <!ENTITY DDotrahd         "&#x02911;" ><!--right arrow with dotted stem -->
40 <!ENTITY dfisht           "&#x0297F;" ><!--down fish tail -->
41 <!ENTITY dHar             "&#x02965;" ><!--down harpoon-left, down harpoon-right -->
42 <!ENTITY dharl            "&#x021C3;" ><!--/downharpoonleft A: dn harpoon-left -->
43 <!ENTITY dharr            "&#x021C2;" ><!--/downharpoonright A: down harpoon-rt -->
44 <!ENTITY duarr            "&#x021F5;" ><!--down arrow, up arrow -->
45 <!ENTITY duhar            "&#x0296F;" ><!--down harp, up harp -->
46 <!ENTITY dzigrarr         "&#x021DD;" ><!--right long zig-zag arrow -->
47 <!ENTITY erarr            "&#x02971;" ><!--equal, right arrow below -->
48 <!ENTITY harr             "&#x02194;" ><!--/leftrightarrow A: l&r arrow -->
49 <!ENTITY hArr             "&#x021D4;" ><!--/Leftrightarrow A: l&r dbl arrow -->
50 <!ENTITY harrcir          "&#x02948;" ><!--left and right arrow with a circle -->
51 <!ENTITY harrw            "&#x021AD;" ><!--/leftrightsquigarrow A: l&r arr-wavy -->
52 <!ENTITY hoarr            "&#x021FF;" ><!--horizontal open arrow -->
53 <!ENTITY imof             "&#x022B7;" ><!--image of -->
54 <!ENTITY lAarr            "&#x021DA;" ><!--/Lleftarrow A: left triple arrow -->
55 <!ENTITY Larr             "&#x0219E;" ><!--/twoheadleftarrow A: -->
56 <!ENTITY larrbfs          "&#x0291F;" ><!--left arrow-bar, filled square -->
57 <!ENTITY larrfs           "&#x0291D;" ><!--left arrow, filled square -->
58 <!ENTITY larrhk           "&#x021A9;" ><!--/hookleftarrow A: left arrow-hooked -->
59 <!ENTITY larrlp           "&#x021AB;" ><!--/looparrowleft A: left arrow-looped -->
60 <!ENTITY larrpl           "&#x02939;" ><!--left arrow, plus -->
61 <!ENTITY larrsim          "&#x02973;" ><!--left arrow, similar -->
62 <!ENTITY larrtl           "&#x021A2;" ><!--/leftarrowtail A: left arrow-tailed -->
63 <!ENTITY latail           "&#x02919;" ><!--left arrow-tail -->
64 <!ENTITY lAtail           "&#x0291B;" ><!--left double arrow-tail -->
65 <!ENTITY lbarr            "&#x0290C;" ><!--left broken arrow -->
66 <!ENTITY lBarr            "&#x0290E;" ><!--left doubly broken arrow -->
67 <!ENTITY ldca             "&#x02936;" ><!--left down curved arrow -->
68 <!ENTITY ldrdhar          "&#x02967;" ><!--left harpoon-down over right harpoon-down -->
69 <!ENTITY ldrushar         "&#x0294B;" ><!--left-down-right-up harpoon -->
70 <!ENTITY ldsh             "&#x021B2;" ><!--left down angled arrow -->
71 <!ENTITY lfisht           "&#x0297C;" ><!--left fish tail -->
72 <!ENTITY lHar             "&#x02962;" ><!--left harpoon-up over left harpoon-down -->
73 <!ENTITY lhard            "&#x021BD;" ><!--/leftharpoondown A: l harpoon-down -->
74 <!ENTITY lharu            "&#x021BC;" ><!--/leftharpoonup A: left harpoon-up -->
75 <!ENTITY lharul           "&#x0296A;" ><!--left harpoon-up over long dash -->
76 <!ENTITY llarr            "&#x021C7;" ><!--/leftleftarrows A: two left arrows -->
77 <!ENTITY llhard           "&#x0296B;" ><!--left harpoon-down below long dash -->
78 <!ENTITY loarr            "&#x021FD;" ><!--left open arrow -->
79 <!ENTITY lrarr            "&#x021C6;" ><!--/leftrightarrows A: l arr over r arr -->
80 <!ENTITY lrhar            "&#x021CB;" ><!--/leftrightharpoons A: l harp over r -->
81 <!ENTITY lrhard           "&#x0296D;" ><!--right harpoon-down below long dash -->
82 <!ENTITY lsh              "&#x021B0;" ><!--/Lsh A: -->
83 <!ENTITY lurdshar         "&#x0294A;" ><!--left-up-right-down harpoon -->
84 <!ENTITY luruhar          "&#x02966;" ><!--left harpoon-up over right harpoon-up -->
85 <!ENTITY map              "&#x021A6;" ><!--/mapsto A: -->
86 <!ENTITY Map              "&#x02905;" ><!--twoheaded mapsto -->
87 <!ENTITY midcir           "&#x02AF0;" ><!--mid, circle below  -->
88 <!ENTITY mumap            "&#x022B8;" ><!--/multimap A: -->
89 <!ENTITY nearhk           "&#x02924;" ><!--NE arrow-hooked -->
90 <!ENTITY nearr            "&#x02197;" ><!--/nearrow A: NE pointing arrow -->
91 <!ENTITY neArr            "&#x021D7;" ><!--NE pointing dbl arrow -->
92 <!ENTITY nesear           "&#x02928;" ><!--/toea A: NE & SE arrows -->
93 <!ENTITY nharr            "&#x021AE;" ><!--/nleftrightarrow A: not l&r arrow -->
94 <!ENTITY nhArr            "&#x021CE;" ><!--/nLeftrightarrow A: not l&r dbl arr -->
95 <!ENTITY nlarr            "&#x0219A;" ><!--/nleftarrow A: not left arrow -->
96 <!ENTITY nlArr            "&#x021CD;" ><!--/nLeftarrow A: not implied by -->
97 <!ENTITY nrarr            "&#x0219B;" ><!--/nrightarrow A: not right arrow -->
98 <!ENTITY nrArr            "&#x021CF;" ><!--/nRightarrow A: not implies -->
99 <!ENTITY nrarrc           "&#x02933;&#x00338;" ><!--not right arrow-curved -->
100 <!ENTITY nrarrw           "&#x0219D;&#x00338;" ><!--not right arrow-wavy -->
101 <!ENTITY nvHarr           "&#x021CE;" ><!--not, vert, left and right double arrow  -->
102 <!ENTITY nvlArr           "&#x021CD;" ><!--not, vert, left double arrow -->
103 <!ENTITY nvrArr           "&#x021CF;" ><!--not, vert, right double arrow -->
104 <!ENTITY nwarhk           "&#x02923;" ><!--NW arrow-hooked -->
105 <!ENTITY nwarr            "&#x02196;" ><!--/nwarrow A: NW pointing arrow -->
106 <!ENTITY nwArr            "&#x021D6;" ><!--NW pointing dbl arrow -->
107 <!ENTITY nwnear           "&#x02927;" ><!--NW & NE arrows -->
108 <!ENTITY olarr            "&#x021BA;" ><!--/circlearrowleft A: l arr in circle -->
109 <!ENTITY orarr            "&#x021BB;" ><!--/circlearrowright A: r arr in circle -->
110 <!ENTITY origof           "&#x022B6;" ><!--original of -->
111 <!ENTITY rAarr            "&#x021DB;" ><!--/Rrightarrow A: right triple arrow -->
112 <!ENTITY Rarr             "&#x021A0;" ><!--/twoheadrightarrow A: -->
113 <!ENTITY rarrap           "&#x02975;" ><!--approximate, right arrow above -->
114 <!ENTITY rarrbfs          "&#x02920;" ><!--right arrow-bar, filled square -->
115 <!ENTITY rarrc            "&#x02933;" ><!--right arrow-curved -->
116 <!ENTITY rarrfs           "&#x0291E;" ><!--right arrow, filled square -->
117 <!ENTITY rarrhk           "&#x021AA;" ><!--/hookrightarrow A: rt arrow-hooked -->
118 <!ENTITY rarrlp           "&#x021AC;" ><!--/looparrowright A: rt arrow-looped -->
119 <!ENTITY rarrpl           "&#x02945;" ><!--right arrow, plus -->
120 <!ENTITY rarrsim          "&#x02974;" ><!--right arrow, similar -->
121 <!ENTITY rarrtl           "&#x021A3;" ><!--/rightarrowtail A: rt arrow-tailed -->
122 <!ENTITY Rarrtl           "&#x02916;" ><!--right two-headed arrow with tail -->
123 <!ENTITY rarrw            "&#x021DD;" ><!--/rightsquigarrow A: rt arrow-wavy -->
124 <!ENTITY ratail           "&#x021A3;" ><!--right arrow-tail -->
125 <!ENTITY rAtail           "&#x0291C;" ><!--right double arrow-tail -->
126 <!ENTITY rbarr            "&#x0290D;" ><!--/bkarow A: right broken arrow -->
127 <!ENTITY rBarr            "&#x0290F;" ><!--/dbkarow A: right doubly broken arrow -->
128 <!ENTITY RBarr            "&#x02910;" ><!--/drbkarow A: twoheaded right broken arrow -->
129 <!ENTITY rdca             "&#x02937;" ><!--right down curved arrow -->
130 <!ENTITY rdldhar          "&#x02969;" ><!--right harpoon-down over left harpoon-down -->
131 <!ENTITY rdsh             "&#x021B3;" ><!--right down angled arrow -->
132 <!ENTITY rfisht           "&#x0297D;" ><!--right fish tail -->
133 <!ENTITY rHar             "&#x02964;" ><!--right harpoon-up over right harpoon-down -->
134 <!ENTITY rhard            "&#x021C1;" ><!--/rightharpoondown A: rt harpoon-down -->
135 <!ENTITY rharu            "&#x021C0;" ><!--/rightharpoonup A: rt harpoon-up -->
136 <!ENTITY rharul           "&#x0296C;" ><!--right harpoon-up over long dash -->
137 <!ENTITY rlarr            "&#x021C4;" ><!--/rightleftarrows A: r arr over l arr -->
138 <!ENTITY rlhar            "&#x021CC;" ><!--/rightleftharpoons A: r harp over l -->
139 <!ENTITY roarr            "&#x021FE;" ><!--right open arrow -->
140 <!ENTITY rrarr            "&#x021C9;" ><!--/rightrightarrows A: two rt arrows -->
141 <!ENTITY rsh              "&#x021B1;" ><!--/Rsh A: -->
142 <!ENTITY ruluhar          "&#x02968;" ><!--right harpoon-up over left harpoon-up -->
143 <!ENTITY searhk           "&#x02925;" ><!--/hksearow A: SE arrow-hooken -->
144 <!ENTITY searr            "&#x02198;" ><!--/searrow A: SE pointing arrow -->
145 <!ENTITY seArr            "&#x021D8;" ><!--SE pointing dbl arrow -->
146 <!ENTITY seswar           "&#x02929;" ><!--/tosa A: SE & SW arrows -->
147 <!ENTITY simrarr          "&#x02972;" ><!--similar, right arrow below -->
148 <!ENTITY slarr            "&#x02190;&#x02063;" ><!--short left arrow -->
149 <!ENTITY srarr            "&#x02192;&#x02063;" ><!--short right arrow -->
150 <!ENTITY swarhk           "&#x02926;" ><!--/hkswarow A: SW arrow-hooked -->
151 <!ENTITY swarr            "&#x02199;" ><!--/swarrow A: SW pointing arrow -->
152 <!ENTITY swArr            "&#x021D9;" ><!--SW pointing dbl arrow -->
153 <!ENTITY swnwar           "&#x0292A;" ><!--SW & NW arrows -->
154 <!ENTITY uArr             "&#x021D1;" ><!--/Uparrow A: up dbl arrow -->
155 <!ENTITY Uarr             "&#x0219F;" ><!--up two-headed arrow -->
156 <!ENTITY Uarrocir         "&#x02949;" ><!--up two-headed arrow above circle -->
157 <!ENTITY udarr            "&#x021C5;" ><!--up arrow, down arrow -->
158 <!ENTITY udhar            "&#x0296E;" ><!--up harp, down harp -->
159 <!ENTITY ufisht           "&#x0297E;" ><!--up fish tail -->
160 <!ENTITY uHar             "&#x02963;" ><!--up harpoon-left, up harpoon-right -->
161 <!ENTITY uharl            "&#x021BF;" ><!--/upharpoonleft A: up harpoon-left -->
162 <!ENTITY uharr            "&#x021BE;" ><!--/upharpoonright /restriction A: up harp-r -->
163 <!ENTITY uuarr            "&#x021C8;" ><!--/upuparrows A: two up arrows -->
164 <!ENTITY varr             "&#x02195;" ><!--/updownarrow A: up&down arrow -->
165 <!ENTITY vArr             "&#x021D5;" ><!--/Updownarrow A: up&down dbl arrow -->
166 <!ENTITY xharr            "&#x02194;" ><!--/longleftrightarrow A: long l&r arr -->
167 <!ENTITY xhArr            "&#x021D4;" ><!--/Longleftrightarrow A: long l&r dbl arr -->
168 <!ENTITY xlarr            "&#x02190;" ><!--/longleftarrow A: long left arrow -->
169 <!ENTITY xlArr            "&#x021D0;" ><!--/Longleftarrow A: long l dbl arrow -->
170 <!ENTITY xmap             "&#x021A6;" ><!--/longmapsto A: -->
171 <!ENTITY xrarr            "&#x02192;" ><!--/longrightarrow A: long right arrow -->
172 <!ENTITY xrArr            "&#x021D2;" ><!--/Longrightarrow A: long rt dbl arr -->
173 <!ENTITY zigrarr          "&#x021DD;" ><!--right zig-zag arrow -->