Annotation of loncom/MathML/isoamsa.ent, revision 1.1
1.1 ! harris41 1: <!--
! 2:
! 3: File isoamsa.ent produced by the dsssl script ent.dsl
! 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 in the STIX proposal for characters
! 12: for Mathematics.
! 13:
! 14: The STIX assignments are temporary and will change if
! 15: the proposal or some variant of it is adopted by the
! 16: Unicode Consortium.
! 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: <!ENTITY angzarr "" ><!--UE248 angle with down zig-zag arrow -->
! 28: <!ENTITY cirmid "" ><!--UE250 circle, mid below -->
! 29: <!ENTITY cudarrl "" ><!--UE23E left, curved, down arrow -->
! 30: <!ENTITY cudarrr "" ><!--UE400 right, curved, down arrow -->
! 31: <!ENTITY cularr "↶" ><!--U21B6 /curvearrowleft A: left curved arrow -->
! 32: <!ENTITY cularrp "" ><!--UE24A curved left arrow with plus -->
! 33: <!ENTITY curarr "↷" ><!--U21B7 /curvearrowright A: rt curved arrow -->
! 34: <!ENTITY curarrm "" ><!--UE249 curved right arrow with minus -->
! 35: <!ENTITY dArr "⇓" ><!--U21D3 /Downarrow A: down dbl arrow -->
! 36: <!ENTITY ddarr "⇊" ><!--U21CA /downdownarrows A: two down arrows -->
! 37: <!ENTITY dfisht "" ><!--UE24C down fish tail -->
! 38: <!ENTITY dharl "⇃" ><!--U21C3 /downharpoonleft A: dn harpoon-left -->
! 39: <!ENTITY dharr "⇂" ><!--U21C2 /downharpoonright A: down harpoon-rt -->
! 40: <!ENTITY dHar "" ><!--UE227 down harpoon-left, down harpoon-right -->
! 41: <!ENTITY duarr "" ><!--UE216 down arrow, up arrow -->
! 42: <!ENTITY duhar "" ><!--UE217 down harp, up harp -->
! 43: <!ENTITY dzigrarr "⇝" ><!--U21DD right long zig-zag arrow -->
! 44: <!ENTITY Darr "↡" ><!--U21A1 down two-headed arrow -->
! 45: <!ENTITY DDotrahd "" ><!--UE238 right arrow with dotted stem -->
! 46: <!ENTITY erarr "" ><!--UE236 equal, right arrow below -->
! 47: <!ENTITY harr "↔" ><!--U2194 /leftrightarrow A: l&r arrow -->
! 48: <!ENTITY harrcir "" ><!--UE240 left and right arrow with a circle -->
! 49: <!ENTITY harrw "↭" ><!--U21AD /leftrightsquigarrow A: l&r arr-wavy -->
! 50: <!ENTITY hArr "⇔" ><!--U21D4 /Leftrightarrow A: l&r dbl arrow -->
! 51: <!ENTITY hoarr "" ><!--UE243 horizontal open arrow -->
! 52: <!ENTITY imof "⊷" ><!--U22B7 image of -->
! 53: <!ENTITY larrbfs "" ><!--UE220 left arrow-bar, filled square -->
! 54: <!ENTITY larrfs "" ><!--UE222 left arrow, filled square -->
! 55: <!ENTITY larrhk "↩" ><!--U21A9 /hookleftarrow A: left arrow-hooked -->
! 56: <!ENTITY larrlp "↫" ><!--U21AB /looparrowleft A: left arrow-looped -->
! 57: <!ENTITY larrpl "" ><!--UE23F left arrow, plus -->
! 58: <!ENTITY larrsim "" ><!--UE24E left arrow, similar -->
! 59: <!ENTITY larrtl "↢" ><!--U21A2 /leftarrowtail A: left arrow-tailed -->
! 60: <!ENTITY latail "" ><!--UE23C left arrow-tail -->
! 61: <!ENTITY lAarr "⇚" ><!--U21DA /Lleftarrow A: left triple arrow -->
! 62: <!ENTITY lAtail "" ><!--UE23D left double arrow-tail -->
! 63: <!ENTITY lbarr "" ><!--UE402 left broken arrow -->
! 64: <!ENTITY lBarr "" ><!--UE206 left doubly broken arrow -->
! 65: <!ENTITY ldca "" ><!--UE21A left down curved arrow -->
! 66: <!ENTITY ldrdhar "" ><!--UE22C left harpoon-down over right harpoon-down -->
! 67: <!ENTITY ldrushar "" ><!--UE228 left-down-right-up harpoon -->
! 68: <!ENTITY ldsh "↲" ><!--U21B2 left down angled arrow -->
! 69: <!ENTITY lfisht "" ><!--UE214 left fish tail -->
! 70: <!ENTITY lhard "↽" ><!--U21BD /leftharpoondown A: l harpoon-down -->
! 71: <!ENTITY lharu "↼" ><!--U21BC /leftharpoonup A: left harpoon-up -->
! 72: <!ENTITY lharul "" ><!--UE22E left harpoon-up over long dash -->
! 73: <!ENTITY lHar "" ><!--UE225 left harpoon-up over left harpoon-down -->
! 74: <!ENTITY llarr "⇇" ><!--U21C7 /leftleftarrows A: two left arrows -->
! 75: <!ENTITY llhard "" ><!--UE231 left harpoon-down below long dash -->
! 76: <!ENTITY loarr "" ><!--UE242 left open arrow -->
! 77: <!ENTITY lrarr "⇆" ><!--U21C6 /leftrightarrows A: l arr over r arr -->
! 78: <!ENTITY lrhar "⇋" ><!--U21CB /leftrightharpoons A: l harp over r -->
! 79: <!ENTITY lrhard "" ><!--UE22F right harpoon-down below long dash -->
! 80: <!ENTITY lsh "↰" ><!--U21B0 /Lsh A: -->
! 81: <!ENTITY lurdshar "" ><!--UE229 left-up-right-down harpoon -->
! 82: <!ENTITY luruhar "" ><!--UE22B left harpoon-up over right harpoon-up -->
! 83: <!ENTITY Larr "↞" ><!--U219E /twoheadleftarrow A: -->
! 84: <!ENTITY map "↦" ><!--U21A6 /mapsto A: -->
! 85: <!ENTITY midcir "" ><!--UE24F mid, circle below -->
! 86: <!ENTITY mumap "⊸" ><!--U22B8 /multimap A: -->
! 87: <!ENTITY Map "" ><!--UE212 twoheaded mapsto -->
! 88: <!ENTITY nearhk "" ><!--UE20D NE arrow-hooked -->
! 89: <!ENTITY nearr "↗" ><!--U2197 /nearrow A: NE pointing arrow -->
! 90: <!ENTITY neArr "⇗" ><!--U21D7 NE pointing dbl arrow -->
! 91: <!ENTITY nesear "" ><!--UE20E /toea A: NE & SE arrows -->
! 92: <!ENTITY nharr "↮" ><!--U21AE /nleftrightarrow A: not l&r arrow -->
! 93: <!ENTITY nhArr "⇎" ><!--U21CE /nLeftrightarrow A: not l&r dbl arr -->
! 94: <!ENTITY nlarr "↚" ><!--U219A /nleftarrow A: not left arrow -->
! 95: <!ENTITY nlArr "⇍" ><!--U21CD /nLeftarrow A: not implied by -->
! 96: <!ENTITY nrarr "↛" ><!--U219B /nrightarrow A: not right arrow -->
! 97: <!ENTITY nrarrc "" ><!--UE21D not right arrow-curved -->
! 98: <!ENTITY nrarrw "" ><!--UE21B not right arrow-wavy -->
! 99: <!ENTITY nrArr "⇏" ><!--U21CF /nRightarrow A: not implies -->
! 100: <!ENTITY nvHarr "⇎" ><!--U21CE not, vert, left and right double arrow -->
! 101: <!ENTITY nvlArr "⇍" ><!--U21CD not, vert, left double arrow -->
! 102: <!ENTITY nvrArr "⇏" ><!--U21CF not, vert, right double arrow -->
! 103: <!ENTITY nwarhk "" ><!--UE20C NW arrow-hooked -->
! 104: <!ENTITY nwarr "↖" ><!--U2196 /nwarrow A: NW pointing arrow -->
! 105: <!ENTITY nwArr "⇖" ><!--U21D6 NW pointing dbl arrow -->
! 106: <!ENTITY nwnear "" ><!--UE211 NW & NE arrows -->
! 107: <!ENTITY olarr "↺" ><!--U21BA /circlearrowleft A: l arr in circle -->
! 108: <!ENTITY orarr "↻" ><!--U21BB /circlearrowright A: r arr in circle -->
! 109: <!ENTITY origof "⊶" ><!--U22B6 original of -->
! 110: <!ENTITY rarrap "" ><!--UE235 approximate, right arrow above -->
! 111: <!ENTITY rarrbfs "" ><!--UE221 right arrow-bar, filled square -->
! 112: <!ENTITY rarrc "" ><!--UE21C right arrow-curved -->
! 113: <!ENTITY rarrfs "" ><!--UE223 right arrow, filled square -->
! 114: <!ENTITY rarrhk "↪" ><!--U21AA /hookrightarrow A: rt arrow-hooked -->
! 115: <!ENTITY rarrlp "↬" ><!--U21AC /looparrowright A: rt arrow-looped -->
! 116: <!ENTITY rarrpl "" ><!--UE21E right arrow, plus -->
! 117: <!ENTITY rarrsim "" ><!--UE24D right arrow, similar -->
! 118: <!ENTITY rarrtl "↣" ><!--U21A3 /rightarrowtail A: rt arrow-tailed -->
! 119: <!ENTITY rarrw "⇝" ><!--U21DD /rightsquigarrow A: rt arrow-wavy -->
! 120: <!ENTITY ratail "↣" ><!--U21A3 right arrow-tail -->
! 121: <!ENTITY rAarr "⇛" ><!--U21DB /Rrightarrow A: right triple arrow -->
! 122: <!ENTITY rAtail "" ><!--UE23B right double arrow-tail -->
! 123: <!ENTITY rbarr "" ><!--UE405 /bkarow A: right broken arrow -->
! 124: <!ENTITY rBarr "" ><!--UE207 /dbkarow A: right doubly broken arrow -->
! 125: <!ENTITY rdca "" ><!--UE219 right down curved arrow -->
! 126: <!ENTITY rdldhar "" ><!--UE22D right harpoon-down over left harpoon-down -->
! 127: <!ENTITY rdsh "↳" ><!--U21B3 right down angled arrow -->
! 128: <!ENTITY rfisht "" ><!--UE215 right fish tail -->
! 129: <!ENTITY rhard "⇁" ><!--U21C1 /rightharpoondown A: rt harpoon-down -->
! 130: <!ENTITY rharu "⇀" ><!--U21C0 /rightharpoonup A: rt harpoon-up -->
! 131: <!ENTITY rharul "" ><!--UE230 right harpoon-up over long dash -->
! 132: <!ENTITY rHar "" ><!--UE224 right harpoon-up over right harpoon-down -->
! 133: <!ENTITY rlarr "⇄" ><!--U21C4 /rightleftarrows A: r arr over l arr -->
! 134: <!ENTITY rlhar "⇌" ><!--U21CC /rightleftharpoons A: r harp over l -->
! 135: <!ENTITY roarr "" ><!--UE241 right open arrow -->
! 136: <!ENTITY rrarr "⇉" ><!--U21C9 /rightrightarrows A: two rt arrows -->
! 137: <!ENTITY rsh "↱" ><!--U21B1 /Rsh A: -->
! 138: <!ENTITY ruluhar "" ><!--UE22A right harpoon-up over left harpoon-up -->
! 139: <!ENTITY Rarr "↠" ><!--U21A0 /twoheadrightarrow A: -->
! 140: <!ENTITY Rarrtl "" ><!--UE239 right two-headed arrow with tail -->
! 141: <!ENTITY RBarr "" ><!--UE209 /drbkarow A: twoheaded right broken arrow -->
! 142: <!ENTITY searhk "" ><!--UE20B /hksearow A: SE arrow-hooken -->
! 143: <!ENTITY searr "↘" ><!--U2198 /searrow A: SE pointing arrow -->
! 144: <!ENTITY seArr "⇘" ><!--U21D8 SE pointing dbl arrow -->
! 145: <!ENTITY seswar "" ><!--UE20F /tosa A: SE & SW arrows -->
! 146: <!ENTITY simrarr "" ><!--UE234 similar, right arrow below -->
! 147: <!ENTITY slarr "" ><!--UE233 short left arrow -->
! 148: <!ENTITY srarr "" ><!--UE232 short right arrow -->
! 149: <!ENTITY swarhk "" ><!--UE20A /hkswarow A: SW arrow-hooked -->
! 150: <!ENTITY swarr "↙" ><!--U2199 /swarrow A: SW pointing arrow -->
! 151: <!ENTITY swArr "⇙" ><!--U21D9 SW pointing dbl arrow -->
! 152: <!ENTITY swnwar "" ><!--UE210 SW & NW arrows -->
! 153: <!ENTITY uArr "⇑" ><!--U21D1 /Uparrow A: up dbl arrow -->
! 154: <!ENTITY udarr "⇅" ><!--U21C5 up arrow, down arrow -->
! 155: <!ENTITY udhar "" ><!--UE218 up harp, down harp -->
! 156: <!ENTITY ufisht "" ><!--UE24B up fish tail -->
! 157: <!ENTITY uharl "↿" ><!--U21BF /upharpoonleft A: up harpoon-left -->
! 158: <!ENTITY uharr "↾" ><!--U21BE /upharpoonright /restriction A: up harp-r -->
! 159: <!ENTITY uHar "" ><!--UE226 up harpoon-left, up harpoon-right -->
! 160: <!ENTITY uuarr "⇈" ><!--U21C8 /upuparrows A: two up arrows -->
! 161: <!ENTITY Uarr "↟" ><!--U219F up two-headed arrow -->
! 162: <!ENTITY Uarrocir "" ><!--UE237 up two-headed arrow above circle -->
! 163: <!ENTITY varr "↕" ><!--U2195 /updownarrow A: up&down arrow -->
! 164: <!ENTITY vArr "⇕" ><!--U21D5 /Updownarrow A: up&down dbl arrow -->
! 165: <!ENTITY xharr "" ><!--UE203 /longleftrightarrow A: long l&r arr -->
! 166: <!ENTITY xhArr "" ><!--UE202 /Longleftrightarrow A: long l&r dbl arr -->
! 167: <!ENTITY xlarr "" ><!--UE201 /longleftarrow A: long left arrow -->
! 168: <!ENTITY xlArr "" ><!--UE200 /Longleftarrow A: long l dbl arrow -->
! 169: <!ENTITY xmap "" ><!--UE208 /longmapsto A: -->
! 170: <!ENTITY xrarr "" ><!--UE205 /longrightarrow A: long right arrow -->
! 171: <!ENTITY xrArr "" ><!--UE204 /Longrightarrow A: long rt dbl arr -->
! 172: <!ENTITY zigrarr "" ><!--UE244 right zig-zag arrow -->
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/back.gif){kind=icon}
Return to isoamsa.ent CVS log ![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/dir.gif){kind=icon}
Up to [LON-CAPA] / loncom / MathML