diff options
Diffstat (limited to 'docs-xml/xslt/db2latex-xsl/xsl/mathml/ent/isoamsa.ent')
| -rw-r--r-- | docs-xml/xslt/db2latex-xsl/xsl/mathml/ent/isoamsa.ent | 173 |
1 files changed, 173 insertions, 0 deletions
diff --git a/docs-xml/xslt/db2latex-xsl/xsl/mathml/ent/isoamsa.ent b/docs-xml/xslt/db2latex-xsl/xsl/mathml/ent/isoamsa.ent new file mode 100644 index 0000000000..5ecf4db216 --- /dev/null +++ b/docs-xml/xslt/db2latex-xsl/xsl/mathml/ent/isoamsa.ent @@ -0,0 +1,173 @@ + +<!-- + 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 --> |