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