+++ /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 -->