--- /dev/null
+
+<!--
+ File isoamsa.ent produced by the XSL script mmldtd.xsl
+ from input data in unicode.xml.
+
+ Please report any errors to
+ David Carlisle <davidc@nag.co.uk>.
+
+ The numeric character values assigned to each entity
+ (should) match either official Unicode assignments
+ or assignments provisionally allocated by the
+ Unicode Consortium based on the characters in the `STIX'
+ propsal for mathematics. Note that these assignments
+ have not been ratified by the corresponding ISO
+ committee and thus should be considered liable to
+ change.
+
+ Entity names in this file are derived from files carrying the
+ following notice:
+
+ (C) International Organization for Standardization 1991
+ Permission to copy in any form is granted for use with
+ conforming SGML systems and applications as defined in
+ ISO 8879, provided this notice is included in all copies.
+
+-->
+
+<!ENTITY angzarr "⍼" ><!--angle with down zig-zag arrow -->
+<!ENTITY cirmid "⫯" ><!--circle, mid below -->
+<!ENTITY cudarrl "⤸" ><!--left, curved, down arrow -->
+<!ENTITY cudarrr "⤵" ><!--right, curved, down arrow -->
+<!ENTITY cularr "↶" ><!--/curvearrowleft A: left curved arrow -->
+<!ENTITY cularrp "⤽" ><!--curved left arrow with plus -->
+<!ENTITY curarr "↷" ><!--/curvearrowright A: rt curved arrow -->
+<!ENTITY curarrm "⤼" ><!--curved right arrow with minus -->
+<!ENTITY dArr "⇓" ><!--/Downarrow A: down dbl arrow -->
+<!ENTITY Darr "↡" ><!--down two-headed arrow -->
+<!ENTITY ddarr "⇊" ><!--/downdownarrows A: two down arrows -->
+<!ENTITY DDotrahd "⤑" ><!--right arrow with dotted stem -->
+<!ENTITY dfisht "⥿" ><!--down fish tail -->
+<!ENTITY dHar "⥥" ><!--down harpoon-left, down harpoon-right -->
+<!ENTITY dharl "⇃" ><!--/downharpoonleft A: dn harpoon-left -->
+<!ENTITY dharr "⇂" ><!--/downharpoonright A: down harpoon-rt -->
+<!ENTITY duarr "⇵" ><!--down arrow, up arrow -->
+<!ENTITY duhar "⥯" ><!--down harp, up harp -->
+<!ENTITY dzigrarr "⇝" ><!--right long zig-zag arrow -->
+<!ENTITY erarr "⥱" ><!--equal, right arrow below -->
+<!ENTITY harr "↔" ><!--/leftrightarrow A: l&r arrow -->
+<!ENTITY hArr "⇔" ><!--/Leftrightarrow A: l&r dbl arrow -->
+<!ENTITY harrcir "⥈" ><!--left and right arrow with a circle -->
+<!ENTITY harrw "↭" ><!--/leftrightsquigarrow A: l&r arr-wavy -->
+<!ENTITY hoarr "⇿" ><!--horizontal open arrow -->
+<!ENTITY imof "⊷" ><!--image of -->
+<!ENTITY lAarr "⇚" ><!--/Lleftarrow A: left triple arrow -->
+<!ENTITY Larr "↞" ><!--/twoheadleftarrow A: -->
+<!ENTITY larrbfs "⤟" ><!--left arrow-bar, filled square -->
+<!ENTITY larrfs "⤝" ><!--left arrow, filled square -->
+<!ENTITY larrhk "↩" ><!--/hookleftarrow A: left arrow-hooked -->
+<!ENTITY larrlp "↫" ><!--/looparrowleft A: left arrow-looped -->
+<!ENTITY larrpl "⤹" ><!--left arrow, plus -->
+<!ENTITY larrsim "⥳" ><!--left arrow, similar -->
+<!ENTITY larrtl "↢" ><!--/leftarrowtail A: left arrow-tailed -->
+<!ENTITY latail "⤙" ><!--left arrow-tail -->
+<!ENTITY lAtail "⤛" ><!--left double arrow-tail -->
+<!ENTITY lbarr "⤌" ><!--left broken arrow -->
+<!ENTITY lBarr "⤎" ><!--left doubly broken arrow -->
+<!ENTITY ldca "⤶" ><!--left down curved arrow -->
+<!ENTITY ldrdhar "⥧" ><!--left harpoon-down over right harpoon-down -->
+<!ENTITY ldrushar "⥋" ><!--left-down-right-up harpoon -->
+<!ENTITY ldsh "↲" ><!--left down angled arrow -->
+<!ENTITY lfisht "⥼" ><!--left fish tail -->
+<!ENTITY lHar "⥢" ><!--left harpoon-up over left harpoon-down -->
+<!ENTITY lhard "↽" ><!--/leftharpoondown A: l harpoon-down -->
+<!ENTITY lharu "↼" ><!--/leftharpoonup A: left harpoon-up -->
+<!ENTITY lharul "⥪" ><!--left harpoon-up over long dash -->
+<!ENTITY llarr "⇇" ><!--/leftleftarrows A: two left arrows -->
+<!ENTITY llhard "⥫" ><!--left harpoon-down below long dash -->
+<!ENTITY loarr "⇽" ><!--left open arrow -->
+<!ENTITY lrarr "⇆" ><!--/leftrightarrows A: l arr over r arr -->
+<!ENTITY lrhar "⇋" ><!--/leftrightharpoons A: l harp over r -->
+<!ENTITY lrhard "⥭" ><!--right harpoon-down below long dash -->
+<!ENTITY lsh "↰" ><!--/Lsh A: -->
+<!ENTITY lurdshar "⥊" ><!--left-up-right-down harpoon -->
+<!ENTITY luruhar "⥦" ><!--left harpoon-up over right harpoon-up -->
+<!ENTITY map "↦" ><!--/mapsto A: -->
+<!ENTITY Map "⤅" ><!--twoheaded mapsto -->
+<!ENTITY midcir "⫰" ><!--mid, circle below -->
+<!ENTITY mumap "⊸" ><!--/multimap A: -->
+<!ENTITY nearhk "⤤" ><!--NE arrow-hooked -->
+<!ENTITY nearr "↗" ><!--/nearrow A: NE pointing arrow -->
+<!ENTITY neArr "⇗" ><!--NE pointing dbl arrow -->
+<!ENTITY nesear "⤨" ><!--/toea A: NE & SE arrows -->
+<!ENTITY nharr "↮" ><!--/nleftrightarrow A: not l&r arrow -->
+<!ENTITY nhArr "⇎" ><!--/nLeftrightarrow A: not l&r dbl arr -->
+<!ENTITY nlarr "↚" ><!--/nleftarrow A: not left arrow -->
+<!ENTITY nlArr "⇍" ><!--/nLeftarrow A: not implied by -->
+<!ENTITY nrarr "↛" ><!--/nrightarrow A: not right arrow -->
+<!ENTITY nrArr "⇏" ><!--/nRightarrow A: not implies -->
+<!ENTITY nrarrc "⤳̸" ><!--not right arrow-curved -->
+<!ENTITY nrarrw "↝̸" ><!--not right arrow-wavy -->
+<!ENTITY nvHarr "⇎" ><!--not, vert, left and right double arrow -->
+<!ENTITY nvlArr "⇍" ><!--not, vert, left double arrow -->
+<!ENTITY nvrArr "⇏" ><!--not, vert, right double arrow -->
+<!ENTITY nwarhk "⤣" ><!--NW arrow-hooked -->
+<!ENTITY nwarr "↖" ><!--/nwarrow A: NW pointing arrow -->
+<!ENTITY nwArr "⇖" ><!--NW pointing dbl arrow -->
+<!ENTITY nwnear "⤧" ><!--NW & NE arrows -->
+<!ENTITY olarr "↺" ><!--/circlearrowleft A: l arr in circle -->
+<!ENTITY orarr "↻" ><!--/circlearrowright A: r arr in circle -->
+<!ENTITY origof "⊶" ><!--original of -->
+<!ENTITY rAarr "⇛" ><!--/Rrightarrow A: right triple arrow -->
+<!ENTITY Rarr "↠" ><!--/twoheadrightarrow A: -->
+<!ENTITY rarrap "⥵" ><!--approximate, right arrow above -->
+<!ENTITY rarrbfs "⤠" ><!--right arrow-bar, filled square -->
+<!ENTITY rarrc "⤳" ><!--right arrow-curved -->
+<!ENTITY rarrfs "⤞" ><!--right arrow, filled square -->
+<!ENTITY rarrhk "↪" ><!--/hookrightarrow A: rt arrow-hooked -->
+<!ENTITY rarrlp "↬" ><!--/looparrowright A: rt arrow-looped -->
+<!ENTITY rarrpl "⥅" ><!--right arrow, plus -->
+<!ENTITY rarrsim "⥴" ><!--right arrow, similar -->
+<!ENTITY rarrtl "↣" ><!--/rightarrowtail A: rt arrow-tailed -->
+<!ENTITY Rarrtl "⤖" ><!--right two-headed arrow with tail -->
+<!ENTITY rarrw "⇝" ><!--/rightsquigarrow A: rt arrow-wavy -->
+<!ENTITY ratail "↣" ><!--right arrow-tail -->
+<!ENTITY rAtail "⤜" ><!--right double arrow-tail -->
+<!ENTITY rbarr "⤍" ><!--/bkarow A: right broken arrow -->
+<!ENTITY rBarr "⤏" ><!--/dbkarow A: right doubly broken arrow -->
+<!ENTITY RBarr "⤐" ><!--/drbkarow A: twoheaded right broken arrow -->
+<!ENTITY rdca "⤷" ><!--right down curved arrow -->
+<!ENTITY rdldhar "⥩" ><!--right harpoon-down over left harpoon-down -->
+<!ENTITY rdsh "↳" ><!--right down angled arrow -->
+<!ENTITY rfisht "⥽" ><!--right fish tail -->
+<!ENTITY rHar "⥤" ><!--right harpoon-up over right harpoon-down -->
+<!ENTITY rhard "⇁" ><!--/rightharpoondown A: rt harpoon-down -->
+<!ENTITY rharu "⇀" ><!--/rightharpoonup A: rt harpoon-up -->
+<!ENTITY rharul "⥬" ><!--right harpoon-up over long dash -->
+<!ENTITY rlarr "⇄" ><!--/rightleftarrows A: r arr over l arr -->
+<!ENTITY rlhar "⇌" ><!--/rightleftharpoons A: r harp over l -->
+<!ENTITY roarr "⇾" ><!--right open arrow -->
+<!ENTITY rrarr "⇉" ><!--/rightrightarrows A: two rt arrows -->
+<!ENTITY rsh "↱" ><!--/Rsh A: -->
+<!ENTITY ruluhar "⥨" ><!--right harpoon-up over left harpoon-up -->
+<!ENTITY searhk "⤥" ><!--/hksearow A: SE arrow-hooken -->
+<!ENTITY searr "↘" ><!--/searrow A: SE pointing arrow -->
+<!ENTITY seArr "⇘" ><!--SE pointing dbl arrow -->
+<!ENTITY seswar "⤩" ><!--/tosa A: SE & SW arrows -->
+<!ENTITY simrarr "⥲" ><!--similar, right arrow below -->
+<!ENTITY slarr "←⁣" ><!--short left arrow -->
+<!ENTITY srarr "→⁣" ><!--short right arrow -->
+<!ENTITY swarhk "⤦" ><!--/hkswarow A: SW arrow-hooked -->
+<!ENTITY swarr "↙" ><!--/swarrow A: SW pointing arrow -->
+<!ENTITY swArr "⇙" ><!--SW pointing dbl arrow -->
+<!ENTITY swnwar "⤪" ><!--SW & NW arrows -->
+<!ENTITY uArr "⇑" ><!--/Uparrow A: up dbl arrow -->
+<!ENTITY Uarr "↟" ><!--up two-headed arrow -->
+<!ENTITY Uarrocir "⥉" ><!--up two-headed arrow above circle -->
+<!ENTITY udarr "⇅" ><!--up arrow, down arrow -->
+<!ENTITY udhar "⥮" ><!--up harp, down harp -->
+<!ENTITY ufisht "⥾" ><!--up fish tail -->
+<!ENTITY uHar "⥣" ><!--up harpoon-left, up harpoon-right -->
+<!ENTITY uharl "↿" ><!--/upharpoonleft A: up harpoon-left -->
+<!ENTITY uharr "↾" ><!--/upharpoonright /restriction A: up harp-r -->
+<!ENTITY uuarr "⇈" ><!--/upuparrows A: two up arrows -->
+<!ENTITY varr "↕" ><!--/updownarrow A: up&down arrow -->
+<!ENTITY vArr "⇕" ><!--/Updownarrow A: up&down dbl arrow -->
+<!ENTITY xharr "↔" ><!--/longleftrightarrow A: long l&r arr -->
+<!ENTITY xhArr "⇔" ><!--/Longleftrightarrow A: long l&r dbl arr -->
+<!ENTITY xlarr "←" ><!--/longleftarrow A: long left arrow -->
+<!ENTITY xlArr "⇐" ><!--/Longleftarrow A: long l dbl arrow -->
+<!ENTITY xmap "↦" ><!--/longmapsto A: -->
+<!ENTITY xrarr "→" ><!--/longrightarrow A: long right arrow -->
+<!ENTITY xrArr "⇒" ><!--/Longrightarrow A: long rt dbl arr -->
+<!ENTITY zigrarr "⇝" ><!--right zig-zag arrow -->