Project

Profile

Help

How to connect?
Download (11.3 KB) Statistics
| Branch: | Tag: | Revision:

he / tags / 9.7.0.3 / hej / data / w3c / mathml / mathml2 / iso9573-13 / isoamsa.ent @ cb770b3c

1

    
2
<!--
3
     File isoamsa.ent produced by the XSL script characters.xsl
4
     from input data in unicode.xml.
5

    
6
     Please report any errors to David Carlisle
7
     via the public W3C list www-math@w3.org.
8

    
9
     The numeric character values assigned to each entity
10
     (should) match the Unicode assignments in Unicode 4.0.
11

    
12
     Entity names in this file are derived from files carrying the
13
     following notice:
14

    
15
     (C) International Organization for Standardization 1991
16
     Permission to copy in any form is granted for use with
17
     conforming SGML systems and applications as defined in
18
     ISO 8879, provided this notice is included in all copies.
19

    
20
-->
21

    
22
<!ENTITY angzarr          "&#x0237C;" ><!--angle with down zig-zag arrow -->
23
<!ENTITY cirmid           "&#x02AEF;" ><!--circle, mid below -->
24
<!ENTITY cudarrl          "&#x02938;" ><!--left, curved, down arrow -->
25
<!ENTITY cudarrr          "&#x02935;" ><!--right, curved, down arrow -->
26
<!ENTITY cularr           "&#x021B6;" ><!--/curvearrowleft A: left curved arrow -->
27
<!ENTITY cularrp          "&#x0293D;" ><!--curved left arrow with plus -->
28
<!ENTITY curarr           "&#x021B7;" ><!--/curvearrowright A: rt curved arrow -->
29
<!ENTITY curarrm          "&#x0293C;" ><!--curved right arrow with minus -->
30
<!ENTITY Darr             "&#x021A1;" ><!--down two-headed arrow -->
31
<!ENTITY dArr             "&#x021D3;" ><!--/Downarrow A: down dbl arrow -->
32
<!ENTITY ddarr            "&#x021CA;" ><!--/downdownarrows A: two down arrows -->
33
<!ENTITY DDotrahd         "&#x02911;" ><!--right arrow with dotted stem -->
34
<!ENTITY dfisht           "&#x0297F;" ><!--down fish tail -->
35
<!ENTITY dHar             "&#x02965;" ><!--down harpoon-left, down harpoon-right -->
36
<!ENTITY dharl            "&#x021C3;" ><!--/downharpoonleft A: dn harpoon-left -->
37
<!ENTITY dharr            "&#x021C2;" ><!--/downharpoonright A: down harpoon-rt -->
38
<!ENTITY duarr            "&#x021F5;" ><!--down arrow, up arrow -->
39
<!ENTITY duhar            "&#x0296F;" ><!--down harp, up harp -->
40
<!ENTITY dzigrarr         "&#x027FF;" ><!--right long zig-zag arrow -->
41
<!ENTITY erarr            "&#x02971;" ><!--equal, right arrow below -->
42
<!ENTITY hArr             "&#x021D4;" ><!--/Leftrightarrow A: l&r dbl arrow -->
43
<!ENTITY harr             "&#x02194;" ><!--/leftrightarrow A: l&r arrow -->
44
<!ENTITY harrcir          "&#x02948;" ><!--left and right arrow with a circle -->
45
<!ENTITY harrw            "&#x021AD;" ><!--/leftrightsquigarrow A: l&r arr-wavy -->
46
<!ENTITY hoarr            "&#x021FF;" ><!--horizontal open arrow -->
47
<!ENTITY imof             "&#x022B7;" ><!--image of -->
48
<!ENTITY lAarr            "&#x021DA;" ><!--/Lleftarrow A: left triple arrow -->
49
<!ENTITY Larr             "&#x0219E;" ><!--/twoheadleftarrow A: -->
50
<!ENTITY larrbfs          "&#x0291F;" ><!--left arrow-bar, filled square -->
51
<!ENTITY larrfs           "&#x0291D;" ><!--left arrow, filled square -->
52
<!ENTITY larrhk           "&#x021A9;" ><!--/hookleftarrow A: left arrow-hooked -->
53
<!ENTITY larrlp           "&#x021AB;" ><!--/looparrowleft A: left arrow-looped -->
54
<!ENTITY larrpl           "&#x02939;" ><!--left arrow, plus -->
55
<!ENTITY larrsim          "&#x02973;" ><!--left arrow, similar -->
56
<!ENTITY larrtl           "&#x021A2;" ><!--/leftarrowtail A: left arrow-tailed -->
57
<!ENTITY lAtail           "&#x0291B;" ><!--left double arrow-tail -->
58
<!ENTITY latail           "&#x02919;" ><!--left arrow-tail -->
59
<!ENTITY lBarr            "&#x0290E;" ><!--left doubly broken arrow -->
60
<!ENTITY lbarr            "&#x0290C;" ><!--left broken arrow -->
61
<!ENTITY ldca             "&#x02936;" ><!--left down curved arrow -->
62
<!ENTITY ldrdhar          "&#x02967;" ><!--left harpoon-down over right harpoon-down -->
63
<!ENTITY ldrushar         "&#x0294B;" ><!--left-down-right-up harpoon -->
64
<!ENTITY ldsh             "&#x021B2;" ><!--left down angled arrow -->
65
<!ENTITY lfisht           "&#x0297C;" ><!--left fish tail -->
66
<!ENTITY lHar             "&#x02962;" ><!--left harpoon-up over left harpoon-down -->
67
<!ENTITY lhard            "&#x021BD;" ><!--/leftharpoondown A: l harpoon-down -->
68
<!ENTITY lharu            "&#x021BC;" ><!--/leftharpoonup A: left harpoon-up -->
69
<!ENTITY lharul           "&#x0296A;" ><!--left harpoon-up over long dash -->
70
<!ENTITY llarr            "&#x021C7;" ><!--/leftleftarrows A: two left arrows -->
71
<!ENTITY llhard           "&#x0296B;" ><!--left harpoon-down below long dash -->
72
<!ENTITY loarr            "&#x021FD;" ><!--left open arrow -->
73
<!ENTITY lrarr            "&#x021C6;" ><!--/leftrightarrows A: l arr over r arr -->
74
<!ENTITY lrhar            "&#x021CB;" ><!--/leftrightharpoons A: l harp over r -->
75
<!ENTITY lrhard           "&#x0296D;" ><!--right harpoon-down below long dash -->
76
<!ENTITY lsh              "&#x021B0;" ><!--/Lsh A: -->
77
<!ENTITY lurdshar         "&#x0294A;" ><!--left-up-right-down harpoon -->
78
<!ENTITY luruhar          "&#x02966;" ><!--left harpoon-up over right harpoon-up -->
79
<!ENTITY Map              "&#x02905;" ><!--twoheaded mapsto -->
80
<!ENTITY map              "&#x021A6;" ><!--/mapsto A: -->
81
<!ENTITY midcir           "&#x02AF0;" ><!--mid, circle below  -->
82
<!ENTITY mumap            "&#x022B8;" ><!--/multimap A: -->
83
<!ENTITY nearhk           "&#x02924;" ><!--NE arrow-hooked -->
84
<!ENTITY neArr            "&#x021D7;" ><!--NE pointing dbl arrow -->
85
<!ENTITY nearr            "&#x02197;" ><!--/nearrow A: NE pointing arrow -->
86
<!ENTITY nesear           "&#x02928;" ><!--/toea A: NE & SE arrows -->
87
<!ENTITY nhArr            "&#x021CE;" ><!--/nLeftrightarrow A: not l&r dbl arr -->
88
<!ENTITY nharr            "&#x021AE;" ><!--/nleftrightarrow A: not l&r arrow -->
89
<!ENTITY nlArr            "&#x021CD;" ><!--/nLeftarrow A: not implied by -->
90
<!ENTITY nlarr            "&#x0219A;" ><!--/nleftarrow A: not left arrow -->
91
<!ENTITY nrArr            "&#x021CF;" ><!--/nRightarrow A: not implies -->
92
<!ENTITY nrarr            "&#x0219B;" ><!--/nrightarrow A: not right arrow -->
93
<!ENTITY nrarrc           "&#x02933;&#x00338;" ><!--not right arrow-curved -->
94
<!ENTITY nrarrw           "&#x0219D;&#x00338;" ><!--not right arrow-wavy -->
95
<!ENTITY nvHarr           "&#x02904;" ><!--not, vert, left and right double arrow  -->
96
<!ENTITY nvlArr           "&#x02902;" ><!--not, vert, left double arrow -->
97
<!ENTITY nvrArr           "&#x02903;" ><!--not, vert, right double arrow -->
98
<!ENTITY nwarhk           "&#x02923;" ><!--NW arrow-hooked -->
99
<!ENTITY nwArr            "&#x021D6;" ><!--NW pointing dbl arrow -->
100
<!ENTITY nwarr            "&#x02196;" ><!--/nwarrow A: NW pointing arrow -->
101
<!ENTITY nwnear           "&#x02927;" ><!--NW & NE arrows -->
102
<!ENTITY olarr            "&#x021BA;" ><!--/circlearrowleft A: l arr in circle -->
103
<!ENTITY orarr            "&#x021BB;" ><!--/circlearrowright A: r arr in circle -->
104
<!ENTITY origof           "&#x022B6;" ><!--original of -->
105
<!ENTITY rAarr            "&#x021DB;" ><!--/Rrightarrow A: right triple arrow -->
106
<!ENTITY Rarr             "&#x021A0;" ><!--/twoheadrightarrow A: -->
107
<!ENTITY rarrap           "&#x02975;" ><!--approximate, right arrow above -->
108
<!ENTITY rarrbfs          "&#x02920;" ><!--right arrow-bar, filled square -->
109
<!ENTITY rarrc            "&#x02933;" ><!--right arrow-curved -->
110
<!ENTITY rarrfs           "&#x0291E;" ><!--right arrow, filled square -->
111
<!ENTITY rarrhk           "&#x021AA;" ><!--/hookrightarrow A: rt arrow-hooked -->
112
<!ENTITY rarrlp           "&#x021AC;" ><!--/looparrowright A: rt arrow-looped -->
113
<!ENTITY rarrpl           "&#x02945;" ><!--right arrow, plus -->
114
<!ENTITY rarrsim          "&#x02974;" ><!--right arrow, similar -->
115
<!ENTITY Rarrtl           "&#x02916;" ><!--right two-headed arrow with tail -->
116
<!ENTITY rarrtl           "&#x021A3;" ><!--/rightarrowtail A: rt arrow-tailed -->
117
<!ENTITY rarrw            "&#x0219D;" ><!--/rightsquigarrow A: rt arrow-wavy -->
118
<!ENTITY rAtail           "&#x0291C;" ><!--right double arrow-tail -->
119
<!ENTITY ratail           "&#x0291A;" ><!--right arrow-tail -->
120
<!ENTITY RBarr            "&#x02910;" ><!--/drbkarow A: twoheaded right broken arrow -->
121
<!ENTITY rBarr            "&#x0290F;" ><!--/dbkarow A: right doubly broken arrow -->
122
<!ENTITY rbarr            "&#x0290D;" ><!--/bkarow A: right broken arrow -->
123
<!ENTITY rdca             "&#x02937;" ><!--right down curved arrow -->
124
<!ENTITY rdldhar          "&#x02969;" ><!--right harpoon-down over left harpoon-down -->
125
<!ENTITY rdsh             "&#x021B3;" ><!--right down angled arrow -->
126
<!ENTITY rfisht           "&#x0297D;" ><!--right fish tail -->
127
<!ENTITY rHar             "&#x02964;" ><!--right harpoon-up over right harpoon-down -->
128
<!ENTITY rhard            "&#x021C1;" ><!--/rightharpoondown A: rt harpoon-down -->
129
<!ENTITY rharu            "&#x021C0;" ><!--/rightharpoonup A: rt harpoon-up -->
130
<!ENTITY rharul           "&#x0296C;" ><!--right harpoon-up over long dash -->
131
<!ENTITY rlarr            "&#x021C4;" ><!--/rightleftarrows A: r arr over l arr -->
132
<!ENTITY rlhar            "&#x021CC;" ><!--/rightleftharpoons A: r harp over l -->
133
<!ENTITY roarr            "&#x021FE;" ><!--right open arrow -->
134
<!ENTITY rrarr            "&#x021C9;" ><!--/rightrightarrows A: two rt arrows -->
135
<!ENTITY rsh              "&#x021B1;" ><!--/Rsh A: -->
136
<!ENTITY ruluhar          "&#x02968;" ><!--right harpoon-up over left harpoon-up -->
137
<!ENTITY searhk           "&#x02925;" ><!--/hksearow A: SE arrow-hooken -->
138
<!ENTITY seArr            "&#x021D8;" ><!--SE pointing dbl arrow -->
139
<!ENTITY searr            "&#x02198;" ><!--/searrow A: SE pointing arrow -->
140
<!ENTITY seswar           "&#x02929;" ><!--/tosa A: SE & SW arrows -->
141
<!ENTITY simrarr          "&#x02972;" ><!--similar, right arrow below -->
142
<!ENTITY slarr            "&#x02190;" ><!--short left arrow -->
143
<!ENTITY srarr            "&#x02192;" ><!--short right arrow -->
144
<!ENTITY swarhk           "&#x02926;" ><!--/hkswarow A: SW arrow-hooked -->
145
<!ENTITY swArr            "&#x021D9;" ><!--SW pointing dbl arrow -->
146
<!ENTITY swarr            "&#x02199;" ><!--/swarrow A: SW pointing arrow -->
147
<!ENTITY swnwar           "&#x0292A;" ><!--SW & NW arrows -->
148
<!ENTITY Uarr             "&#x0219F;" ><!--up two-headed arrow -->
149
<!ENTITY uArr             "&#x021D1;" ><!--/Uparrow A: up dbl arrow -->
150
<!ENTITY Uarrocir         "&#x02949;" ><!--up two-headed arrow above circle -->
151
<!ENTITY udarr            "&#x021C5;" ><!--up arrow, down arrow -->
152
<!ENTITY udhar            "&#x0296E;" ><!--up harp, down harp -->
153
<!ENTITY ufisht           "&#x0297E;" ><!--up fish tail -->
154
<!ENTITY uHar             "&#x02963;" ><!--up harpoon-left, up harpoon-right -->
155
<!ENTITY uharl            "&#x021BF;" ><!--/upharpoonleft A: up harpoon-left -->
156
<!ENTITY uharr            "&#x021BE;" ><!--/upharpoonright /restriction A: up harp-r -->
157
<!ENTITY uuarr            "&#x021C8;" ><!--/upuparrows A: two up arrows -->
158
<!ENTITY vArr             "&#x021D5;" ><!--/Updownarrow A: up&down dbl arrow -->
159
<!ENTITY varr             "&#x02195;" ><!--/updownarrow A: up&down arrow -->
160
<!ENTITY xhArr            "&#x027FA;" ><!--/Longleftrightarrow A: long l&r dbl arr -->
161
<!ENTITY xharr            "&#x027F7;" ><!--/longleftrightarrow A: long l&r arr -->
162
<!ENTITY xlArr            "&#x027F8;" ><!--/Longleftarrow A: long l dbl arrow -->
163
<!ENTITY xlarr            "&#x027F5;" ><!--/longleftarrow A: long left arrow -->
164
<!ENTITY xmap             "&#x027FC;" ><!--/longmapsto A: -->
165
<!ENTITY xrArr            "&#x027F9;" ><!--/Longrightarrow A: long rt dbl arr -->
166
<!ENTITY xrarr            "&#x027F6;" ><!--/longrightarrow A: long right arrow -->
167
<!ENTITY zigrarr          "&#x021DD;" ><!--right zig-zag arrow -->
(1-1/12)