onix 0.7.1 → 0.7.2

Sign up to get free protection for your applications and to get access to all the features.
data/CHANGELOG CHANGED
@@ -1,3 +1,9 @@
1
+ v0.7.2 (19th August 2009)
2
+ - Added ONIX::Normaliser class
3
+ - for normalising various ONIX files into a form that makes them easy
4
+ to process. Shouldn't be necesary to pre-process files like this, but
5
+ I'm sick of trying to wrestle the libxml ruby bindings
6
+
1
7
  v0.7.1 (24th June 2009)
2
8
  - Small tweak to ordering of elements in the Product group
3
9
 
@@ -0,0 +1,173 @@
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 "&#x0F5A2;" ><!--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 "&#x0219D;" ><!--/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;&#x0FE00;" ><!--short left arrow -->
149
+ <!ENTITY srarr "&#x02192;&#x0FE00;" ><!--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 "&#x0F578;" ><!--/longleftrightarrow A: long l&r arr -->
167
+ <!ENTITY xhArr "&#x0F57B;" ><!--/Longleftrightarrow A: long l&r dbl arr -->
168
+ <!ENTITY xlarr "&#x0F576;" ><!--/longleftarrow A: long left arrow -->
169
+ <!ENTITY xlArr "&#x0F579;" ><!--/Longleftarrow A: long l dbl arrow -->
170
+ <!ENTITY xmap "&#x0F57D;" ><!--/longmapsto A: -->
171
+ <!ENTITY xrarr "&#x0F577;" ><!--/longrightarrow A: long right arrow -->
172
+ <!ENTITY xrArr "&#x0F57A;" ><!--/Longrightarrow A: long rt dbl arr -->
173
+ <!ENTITY zigrarr "&#x021DD;" ><!--right zig-zag arrow -->
@@ -0,0 +1,146 @@
1
+
2
+ <!--
3
+ File isoamsb.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 ac "&#x0290F;" ><!--most positive -->
29
+ <!ENTITY acE "&#x029DB;" ><!--most positive, two lines below -->
30
+ <!ENTITY amalg "&#x02A3F;" ><!--/amalg B: amalgamation or coproduct -->
31
+ <!ENTITY barvee "&#x022BD;" ><!--bar, vee -->
32
+ <!ENTITY barwed "&#x022BC;" ><!--/barwedge B: logical and, bar above -->
33
+ <!ENTITY Barwed "&#x02306;" ><!--/doublebarwedge B: log and, dbl bar above -->
34
+ <!ENTITY bsolb "&#x029C5;" ><!--reverse solidus in square -->
35
+ <!ENTITY Cap "&#x022D2;" ><!--/Cap /doublecap B: dbl intersection -->
36
+ <!ENTITY capand "&#x02A44;" ><!--intersection, and -->
37
+ <!ENTITY capbrcup "&#x02A49;" ><!--intersection, bar, union -->
38
+ <!ENTITY capcap "&#x02A4B;" ><!--intersection, intersection, joined -->
39
+ <!ENTITY capcup "&#x02A47;" ><!--intersection above union -->
40
+ <!ENTITY capdot "&#x02A40;" ><!--intersection, with dot -->
41
+ <!ENTITY caps "&#x02229;&#x0FE00;" ><!--intersection, serifs -->
42
+ <!ENTITY ccaps "&#x02A4D;" ><!--closed intersection, serifs -->
43
+ <!ENTITY ccups "&#x02A4C;" ><!--closed union, serifs -->
44
+ <!ENTITY ccupssm "&#x02A50;" ><!--closed union, serifs, smash product -->
45
+ <!ENTITY coprod "&#x02210;" ><!--/coprod L: coproduct operator -->
46
+ <!ENTITY Cup "&#x022D3;" ><!--/Cup /doublecup B: dbl union -->
47
+ <!ENTITY cupbrcap "&#x02A48;" ><!--union, bar, intersection -->
48
+ <!ENTITY cupcap "&#x02A46;" ><!--union above intersection -->
49
+ <!ENTITY cupcup "&#x02A4A;" ><!--union, union, joined -->
50
+ <!ENTITY cupdot "&#x0228D;" ><!--union, with dot -->
51
+ <!ENTITY cupor "&#x02A45;" ><!--union, or -->
52
+ <!ENTITY cups "&#x0222A;&#x0FE00;" ><!--union, serifs -->
53
+ <!ENTITY cuvee "&#x022CE;" ><!--/curlyvee B: curly logical or -->
54
+ <!ENTITY cuwed "&#x022CF;" ><!--/curlywedge B: curly logical and -->
55
+ <!ENTITY dagger "&#x02020;" ><!--/dagger B: dagger relation -->
56
+ <!ENTITY Dagger "&#x02021;" ><!--/ddagger B: double dagger relation -->
57
+ <!ENTITY diam "&#x022C4;" ><!--/diamond B: open diamond -->
58
+ <!ENTITY divonx "&#x022C7;" ><!--/divideontimes B: division on times -->
59
+ <!ENTITY eplus "&#x02A71;" ><!--equal, plus -->
60
+ <!ENTITY hercon "&#x022B9;" ><!--hermitian conjugate matrix -->
61
+ <!ENTITY intcal "&#x022BA;" ><!--/intercal B: intercal -->
62
+ <!ENTITY iprod "&#x02A3C;" ><!--/intprod -->
63
+ <!ENTITY loplus "&#x02A2D;" ><!--plus sign in left half circle -->
64
+ <!ENTITY lotimes "&#x02A34;" ><!--multiply sign in left half circle -->
65
+ <!ENTITY lthree "&#x022CB;" ><!--/leftthreetimes B: -->
66
+ <!ENTITY ltimes "&#x022C9;" ><!--/ltimes B: times sign, left closed -->
67
+ <!ENTITY midast "&#x0002A;" ><!--/ast B: asterisk -->
68
+ <!ENTITY minusb "&#x0229F;" ><!--/boxminus B: minus sign in box -->
69
+ <!ENTITY minusd "&#x02238;" ><!--/dotminus B: minus sign, dot above -->
70
+ <!ENTITY minusdu "&#x02A2A;" ><!--minus sign, dot below -->
71
+ <!ENTITY ncap "&#x02A43;" ><!--bar, intersection -->
72
+ <!ENTITY ncup "&#x02A42;" ><!--bar, union -->
73
+ <!ENTITY oast "&#x0229B;" ><!--/circledast B: asterisk in circle -->
74
+ <!ENTITY ocir "&#x0229A;" ><!--/circledcirc B: small circle in circle -->
75
+ <!ENTITY odash "&#x0229D;" ><!--/circleddash B: hyphen in circle -->
76
+ <!ENTITY odiv "&#x02A38;" ><!--divide in circle -->
77
+ <!ENTITY odot "&#x02299;" ><!--/odot B: middle dot in circle -->
78
+ <!ENTITY odsold "&#x029BC;" ><!--dot, solidus, dot in circle -->
79
+ <!ENTITY ofcir "&#x029BF;" ><!--filled circle in circle -->
80
+ <!ENTITY ogt "&#x029C1;" ><!--greater-than in circle -->
81
+ <!ENTITY ohbar "&#x029B5;" ><!--circle with horizontal bar -->
82
+ <!ENTITY olcir "&#x029BE;" ><!--large circle in circle -->
83
+ <!ENTITY olt "&#x029C0;" ><!--less-than in circle -->
84
+ <!ENTITY omid "&#x029B6;" ><!--vertical bar in circle -->
85
+ <!ENTITY ominus "&#x02296;" ><!--/ominus B: minus sign in circle -->
86
+ <!ENTITY opar "&#x029B7;" ><!--parallel in circle -->
87
+ <!ENTITY operp "&#x029B9;" ><!--perpendicular in circle -->
88
+ <!ENTITY oplus "&#x02295;" ><!--/oplus B: plus sign in circle -->
89
+ <!ENTITY osol "&#x02298;" ><!--/oslash B: solidus in circle -->
90
+ <!ENTITY otimes "&#x02297;" ><!--/otimes B: multiply sign in circle -->
91
+ <!ENTITY Otimes "&#x02A37;" ><!--multiply sign in double circle -->
92
+ <!ENTITY otimesas "&#x02A36;" ><!--multiply sign in circle, circumflex accent -->
93
+ <!ENTITY ovbar "&#x0233D;" ><!--circle with vertical bar -->
94
+ <!ENTITY plusacir "&#x02A23;" ><!--plus, circumflex accent above -->
95
+ <!ENTITY plusb "&#x0229E;" ><!--/boxplus B: plus sign in box -->
96
+ <!ENTITY pluscir "&#x02A22;" ><!--plus, small circle above -->
97
+ <!ENTITY plusdo "&#x02214;" ><!--/dotplus B: plus sign, dot above -->
98
+ <!ENTITY plusdu "&#x02A25;" ><!--plus sign, dot below -->
99
+ <!ENTITY pluse "&#x02A72;" ><!--plus, equals -->
100
+ <!ENTITY plussim "&#x02A26;" ><!--plus, similar below -->
101
+ <!ENTITY plustwo "&#x02A27;" ><!--plus, two; Nim-addition -->
102
+ <!ENTITY prod "&#x0220F;" ><!--/prod L: product operator -->
103
+ <!ENTITY race "&#x029DA;" ><!--reverse most positive, line below -->
104
+ <!ENTITY roplus "&#x02A2E;" ><!--plus sign in right half circle -->
105
+ <!ENTITY rotimes "&#x02A35;" ><!--multiply sign in right half circle -->
106
+ <!ENTITY rthree "&#x022CC;" ><!--/rightthreetimes B: -->
107
+ <!ENTITY rtimes "&#x022CA;" ><!--/rtimes B: times sign, right closed -->
108
+ <!ENTITY sdot "&#x022C5;" ><!--/cdot B: small middle dot -->
109
+ <!ENTITY sdotb "&#x022A1;" ><!--/dotsquare /boxdot B: small dot in box -->
110
+ <!ENTITY setmn "&#x02216;" ><!--/setminus B: reverse solidus -->
111
+ <!ENTITY simplus "&#x02A24;" ><!--plus, similar above -->
112
+ <!ENTITY smashp "&#x02A33;" ><!--smash product -->
113
+ <!ENTITY solb "&#x029C4;" ><!--solidus in square -->
114
+ <!ENTITY sqcap "&#x02293;" ><!--/sqcap B: square intersection -->
115
+ <!ENTITY sqcaps "&#x02293;&#x0FE00;" ><!--square intersection, serifs -->
116
+ <!ENTITY sqcup "&#x02294;" ><!--/sqcup B: square union -->
117
+ <!ENTITY sqcups "&#x02294;&#x0FE00;" ><!--square union, serifs -->
118
+ <!ENTITY ssetmn "&#x02216;&#x0FE00;" ><!--/smallsetminus B: sm reverse solidus -->
119
+ <!ENTITY sstarf "&#x022C6;" ><!--/star B: small star, filled -->
120
+ <!ENTITY subdot "&#x02ABD;" ><!--subset, with dot -->
121
+ <!ENTITY sum "&#x02211;" ><!--/sum L: summation operator -->
122
+ <!ENTITY supdot "&#x02ABE;" ><!--superset, with dot -->
123
+ <!ENTITY timesb "&#x022A0;" ><!--/boxtimes B: multiply sign in box -->
124
+ <!ENTITY timesbar "&#x02A31;" ><!--multiply sign, bar below -->
125
+ <!ENTITY timesd "&#x02A30;" ><!--times, dot -->
126
+ <!ENTITY tridot "&#x025EC;" ><!--dot in triangle -->
127
+ <!ENTITY triminus "&#x02A3A;" ><!--minus in triangle -->
128
+ <!ENTITY triplus "&#x02A39;" ><!--plus in triangle -->
129
+ <!ENTITY trisb "&#x029CD;" ><!--triangle, serifs at bottom -->
130
+ <!ENTITY tritime "&#x02A3B;" ><!--multiply in triangle -->
131
+ <!ENTITY uplus "&#x0228E;" ><!--/uplus B: plus sign in union -->
132
+ <!ENTITY veebar "&#x022BB;" ><!--/veebar B: logical or, bar below -->
133
+ <!ENTITY wedbar "&#x02A5F;" ><!--wedge, bar below -->
134
+ <!ENTITY wreath "&#x02240;" ><!--/wr B: wreath product -->
135
+ <!ENTITY xcap "&#x022C2;" ><!--/bigcap L: intersection operator -->
136
+ <!ENTITY xcirc "&#x025EF;" ><!--/bigcirc B: large circle -->
137
+ <!ENTITY xcup "&#x022C3;" ><!--/bigcup L: union operator -->
138
+ <!ENTITY xdtri "&#x025BD;" ><!--/bigtriangledown B: big dn tri, open -->
139
+ <!ENTITY xodot "&#x02299;" ><!--/bigodot L: circle dot operator -->
140
+ <!ENTITY xoplus "&#x02295;" ><!--/bigoplus L: circle plus operator -->
141
+ <!ENTITY xotime "&#x02297;" ><!--/bigotimes L: circle times operator -->
142
+ <!ENTITY xsqcup "&#x02294;" ><!--/bigsqcup L: square union operator -->
143
+ <!ENTITY xuplus "&#x0228E;" ><!--/biguplus L: -->
144
+ <!ENTITY xutri "&#x025B3;" ><!--/bigtriangleup B: big up tri, open -->
145
+ <!ENTITY xvee "&#x022C1;" ><!--/bigvee L: logical and operator -->
146
+ <!ENTITY xwedge "&#x022C0;" ><!--/bigwedge L: logical or operator -->
@@ -0,0 +1,49 @@
1
+
2
+ <!--
3
+ File isoamsc.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 dlcorn "&#x0231E;" ><!--/llcorner O: lower left corner -->
29
+ <!ENTITY drcorn "&#x0231F;" ><!--/lrcorner C: lower right corner -->
30
+ <!ENTITY gtlPar "&#x02995;" ><!--dbl left parenthesis, greater -->
31
+ <!ENTITY langd "&#x02991;" ><!--left angle, dot -->
32
+ <!ENTITY lbrke "&#x0298B;" ><!--left bracket, equal -->
33
+ <!ENTITY lbrksld "&#x0298F;" ><!--left bracket, solidus bottom corner -->
34
+ <!ENTITY lbrkslu "&#x0298D;" ><!--left bracket, solidus top corner -->
35
+ <!ENTITY lceil "&#x02308;" ><!--/lceil O: left ceiling -->
36
+ <!ENTITY lfloor "&#x0230A;" ><!--/lfloor O: left floor -->
37
+ <!ENTITY lmoust "&#x023B0;" ><!--/lmoustache -->
38
+ <!ENTITY lparlt "&#x02993;" ><!--O: left parenthesis, lt -->
39
+ <!ENTITY ltrPar "&#x02996;" ><!--dbl right parenthesis, less -->
40
+ <!ENTITY rangd "&#x02992;" ><!--right angle, dot -->
41
+ <!ENTITY rbrke "&#x0298C;" ><!--right bracket, equal -->
42
+ <!ENTITY rbrksld "&#x0298E;" ><!--right bracket, solidus bottom corner -->
43
+ <!ENTITY rbrkslu "&#x02990;" ><!--right bracket, solidus top corner -->
44
+ <!ENTITY rceil "&#x02309;" ><!--/rceil C: right ceiling -->
45
+ <!ENTITY rfloor "&#x0230B;" ><!--/rfloor C: right floor -->
46
+ <!ENTITY rmoust "&#x023B1;" ><!--/rmoustache -->
47
+ <!ENTITY rpargt "&#x02994;" ><!--C: right paren, gt -->
48
+ <!ENTITY ulcorn "&#x0231C;" ><!--/ulcorner O: upper left corner -->
49
+ <!ENTITY urcorn "&#x0231D;" ><!--/urcorner C: upper right corner -->
@@ -0,0 +1,117 @@
1
+
2
+ <!--
3
+ File isoamsn.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 gnap "&#x02A8A;" ><!--/gnapprox N: greater, not approximate -->
29
+ <!ENTITY gne "&#x02269;" ><!--/gneq N: greater, not equals -->
30
+ <!ENTITY gnE "&#x02269;" ><!--/gneqq N: greater, not dbl equals -->
31
+ <!ENTITY gnsim "&#x022E7;" ><!--/gnsim N: greater, not similar -->
32
+ <!ENTITY gvnE "&#x02269;&#x0FE00;" ><!--/gvertneqq N: gt, vert, not dbl eq -->
33
+ <!ENTITY lnap "&#x02A89;" ><!--/lnapprox N: less, not approximate -->
34
+ <!ENTITY lne "&#x02268;" ><!--/lneq N: less, not equals -->
35
+ <!ENTITY lnE "&#x02268;" ><!--/lneqq N: less, not double equals -->
36
+ <!ENTITY lnsim "&#x022E6;" ><!--/lnsim N: less, not similar -->
37
+ <!ENTITY lvnE "&#x02268;&#x0FE00;" ><!--/lvertneqq N: less, vert, not dbl eq -->
38
+ <!ENTITY nap "&#x02249;" ><!--/napprox N: not approximate -->
39
+ <!ENTITY napE "&#x02A70;&#x00338;" ><!--not approximately equal or equal to -->
40
+ <!ENTITY napid "&#x0224B;&#x00338;" ><!--not approximately identical to -->
41
+ <!ENTITY ncong "&#x02247;" ><!--/ncong N: not congruent with -->
42
+ <!ENTITY ncongdot "&#x02A6D;&#x00338;" ><!--not congruent, dot -->
43
+ <!ENTITY nequiv "&#x02262;" ><!--/nequiv N: not identical with -->
44
+ <!ENTITY nge "&#x02271;&#x020E5;" ><!--/ngeq N: not greater-than-or-equal -->
45
+ <!ENTITY ngE "&#x02271;" ><!--/ngeqq N: not greater, dbl equals -->
46
+ <!ENTITY nges "&#x02271;" ><!--/ngeqslant N: not gt-or-eq, slanted -->
47
+ <!ENTITY nGg "&#x022D9;&#x00338;" ><!--not triple greater than -->
48
+ <!ENTITY ngsim "&#x02275;" ><!--not greater, similar -->
49
+ <!ENTITY ngt "&#x0226F;" ><!--/ngtr N: not greater-than -->
50
+ <!ENTITY nGt "&#x0226B;&#x00338;" ><!--not, vert, much greater than -->
51
+ <!ENTITY nGtv "&#x0226B;&#x00338;&#x0FE00;" ><!--not much greater than, variant -->
52
+ <!ENTITY nle "&#x02270;&#x020E5;" ><!--/nleq N: not less-than-or-equal -->
53
+ <!ENTITY nlE "&#x02270;" ><!--/nleqq N: not less, dbl equals -->
54
+ <!ENTITY nles "&#x02270;" ><!--/nleqslant N: not less-or-eq, slant -->
55
+ <!ENTITY nLl "&#x022D8;&#x00338;" ><!--not triple less than -->
56
+ <!ENTITY nlsim "&#x02274;" ><!--not less, similar -->
57
+ <!ENTITY nlt "&#x0226E;" ><!--/nless N: not less-than -->
58
+ <!ENTITY nLt "&#x0226A;&#x00338;" ><!--not, vert, much less than -->
59
+ <!ENTITY nltri "&#x022EA;" ><!--/ntriangleleft N: not left triangle -->
60
+ <!ENTITY nltrie "&#x022EC;" ><!--/ntrianglelefteq N: not l tri, eq -->
61
+ <!ENTITY nLtv "&#x0226A;&#x00338;&#x0FE00;" ><!--not much less than, variant -->
62
+ <!ENTITY nmid "&#x02224;" ><!--/nmid -->
63
+ <!ENTITY npar "&#x02226;" ><!--/nparallel N: not parallel -->
64
+ <!ENTITY npr "&#x02280;" ><!--/nprec N: not precedes -->
65
+ <!ENTITY nprcue "&#x022E0;" ><!--not curly precedes, eq -->
66
+ <!ENTITY npre "&#x02AAF;&#x00338;" ><!--/npreceq N: not precedes, equals -->
67
+ <!ENTITY nrtri "&#x022EB;" ><!--/ntriangleright N: not rt triangle -->
68
+ <!ENTITY nrtrie "&#x022ED;" ><!--/ntrianglerighteq N: not r tri, eq -->
69
+ <!ENTITY nsc "&#x02281;" ><!--/nsucc N: not succeeds -->
70
+ <!ENTITY nsccue "&#x022E1;" ><!--not succeeds, curly eq -->
71
+ <!ENTITY nsce "&#x02AB0;&#x00338;" ><!--/nsucceq N: not succeeds, equals -->
72
+ <!ENTITY nsim "&#x02241;" ><!--/nsim N: not similar -->
73
+ <!ENTITY nsime "&#x02244;" ><!--/nsimeq N: not similar, equals -->
74
+ <!ENTITY nsmid "&#x02224;&#x0FE00;" ><!--/nshortmid -->
75
+ <!ENTITY nspar "&#x02226;&#x0FE00;" ><!--/nshortparallel N: not short par -->
76
+ <!ENTITY nsqsube "&#x022E2;" ><!--not, square subset, equals -->
77
+ <!ENTITY nsqsupe "&#x022E3;" ><!--not, square superset, equals -->
78
+ <!ENTITY nsub "&#x02284;" ><!--not subset -->
79
+ <!ENTITY nsube "&#x02288;" ><!--/nsubseteq N: not subset, equals -->
80
+ <!ENTITY nsubE "&#x02288;" ><!--/nsubseteqq N: not subset, dbl eq -->
81
+ <!ENTITY nsup "&#x02285;" ><!--not superset -->
82
+ <!ENTITY nsupe "&#x02289;" ><!--/nsupseteq N: not superset, equals -->
83
+ <!ENTITY nsupE "&#x02289;" ><!--/nsupseteqq N: not superset, dbl eq -->
84
+ <!ENTITY ntgl "&#x02279;" ><!--not greater, less -->
85
+ <!ENTITY ntlg "&#x02278;" ><!--not less, greater -->
86
+ <!ENTITY nvap "&#x02249;&#x00338;" ><!--not, vert, approximate -->
87
+ <!ENTITY nvdash "&#x022AC;" ><!--/nvdash N: not vertical, dash -->
88
+ <!ENTITY nvDash "&#x022AD;" ><!--/nvDash N: not vertical, dbl dash -->
89
+ <!ENTITY nVdash "&#x022AE;" ><!--/nVdash N: not dbl vertical, dash -->
90
+ <!ENTITY nVDash "&#x022AF;" ><!--/nVDash N: not dbl vert, dbl dash -->
91
+ <!ENTITY nvge "&#x02271;" ><!--not, vert, greater-than-or-equal -->
92
+ <!ENTITY nvgt "&#x0226F;" ><!--not, vert, greater-than -->
93
+ <!ENTITY nvle "&#x02270;" ><!--not, vert, less-than-or-equal -->
94
+ <!ENTITY nvlt "&#x0226E;" ><!--not, vert, less-than -->
95
+ <!ENTITY nvltrie "&#x022EC;&#x00338;" ><!--not, vert, left triangle, equals -->
96
+ <!ENTITY nvrtrie "&#x022ED;&#x00338;" ><!--not, vert, right triangle, equals -->
97
+ <!ENTITY nvsim "&#x02241;&#x00338;" ><!--not, vert, similar -->
98
+ <!ENTITY parsim "&#x02AF3;" ><!--parallel, similar -->
99
+ <!ENTITY prnap "&#x022E8;" ><!--/precnapprox N: precedes, not approx -->
100
+ <!ENTITY prnE "&#x02AB5;" ><!--/precneqq N: precedes, not dbl eq -->
101
+ <!ENTITY prnsim "&#x022E8;" ><!--/precnsim N: precedes, not similar -->
102
+ <!ENTITY rnmid "&#x02AEE;" ><!--reverse /nmid -->
103
+ <!ENTITY scnap "&#x022E9;" ><!--/succnapprox N: succeeds, not approx -->
104
+ <!ENTITY scnE "&#x02AB6;" ><!--/succneqq N: succeeds, not dbl eq -->
105
+ <!ENTITY scnsim "&#x022E9;" ><!--/succnsim N: succeeds, not similar -->
106
+ <!ENTITY simne "&#x02246;" ><!--similar, not equals -->
107
+ <!ENTITY solbar "&#x0233F;" ><!--solidus, bar through -->
108
+ <!ENTITY subne "&#x0228A;" ><!--/subsetneq N: subset, not equals -->
109
+ <!ENTITY subnE "&#x0228A;" ><!--/subsetneqq N: subset, not dbl eq -->
110
+ <!ENTITY supne "&#x0228B;" ><!--/supsetneq N: superset, not equals -->
111
+ <!ENTITY supnE "&#x0228B;" ><!--/supsetneqq N: superset, not dbl eq -->
112
+ <!ENTITY vnsub "&#x02284;" ><!--/nsubset N: not subset, var -->
113
+ <!ENTITY vnsup "&#x02285;" ><!--/nsupset N: not superset, var -->
114
+ <!ENTITY vsubne "&#x0228A;&#x0FE00;" ><!--/varsubsetneq N: subset, not eq, var -->
115
+ <!ENTITY vsubnE "&#x0228A;&#x0FE00;" ><!--/varsubsetneqq N: subset not dbl eq, var -->
116
+ <!ENTITY vsupne "&#x0228B;&#x0FE00;" ><!--/varsupsetneq N: superset, not eq, var -->
117
+ <!ENTITY vsupnE "&#x0228B;&#x0FE00;" ><!--/varsupsetneqq N: super not dbl eq, var -->