Annotation of loncom/MathML/isoamsr.ent, revision 1.1
1.1 ! harris41 1: <!--
! 2:
! 3: File isoamsr.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 ape "≊" ><!--U224A /approxeq R: approximate, equals -->
! 28: <!ENTITY apE "≊" ><!--U224A approximately equal or equal to -->
! 29: <!ENTITY apid "≋" ><!--U224B approximately identical to -->
! 30: <!ENTITY asymp "≍" ><!--U224D /asymp R: asymptotically equal to -->
! 31: <!ENTITY bcong "≌" ><!--U224C /backcong R: reverse congruent -->
! 32: <!ENTITY bepsi "" ><!--UE800 /backepsilon R: such that -->
! 33: <!ENTITY bowtie "⋈" ><!--U22C8 /bowtie R: -->
! 34: <!ENTITY bsim "∽" ><!--U223D /backsim R: reverse similar -->
! 35: <!ENTITY bsime "⋍" ><!--U22CD /backsimeq R: reverse similar, eq -->
! 36: <!ENTITY bsolhsub "" ><!--UE34D reverse solidus, subset -->
! 37: <!ENTITY bump "≎" ><!--U224E /Bumpeq R: bumpy equals -->
! 38: <!ENTITY bumpe "≏" ><!--U224F /bumpeq R: bumpy equals, equals -->
! 39: <!ENTITY bumpE "" ><!--UE316 bump, equals -->
! 40: <!ENTITY Barv "" ><!--UE311 vert, dbl bar (over) -->
! 41: <!ENTITY cire "≗" ><!--U2257 /circeq R: circle, equals -->
! 42: <!ENTITY colone "≔" ><!--U2254 /coloneq R: colon, equals -->
! 43: <!ENTITY congdot "" ><!--UE314 congruent, dot -->
! 44: <!ENTITY csub "" ><!--UE351 subset, closed -->
! 45: <!ENTITY csube "" ><!--UE353 subset, closed, equals -->
! 46: <!ENTITY csup "" ><!--UE352 superset, closed -->
! 47: <!ENTITY csupe "" ><!--UE354 superset, closed, equals -->
! 48: <!ENTITY cuepr "⋞" ><!--U22DE /curlyeqprec R: curly eq, precedes -->
! 49: <!ENTITY cuesc "⋟" ><!--U22DF /curlyeqsucc R: curly eq, succeeds -->
! 50: <!ENTITY Colon "∷" ><!--U2237 /Colon, two colons -->
! 51: <!ENTITY Colone "" ><!--UE30E double colon, equals -->
! 52: <!ENTITY dashv "⊣" ><!--U22A3 /dashv R: dash, vertical -->
! 53: <!ENTITY Dashv "" ><!--UE30F dbl dash, vertical -->
! 54: <!ENTITY easter "≛" ><!--U225B equal, asterisk above -->
! 55: <!ENTITY ecir "≖" ><!--U2256 /eqcirc R: circle on equals sign -->
! 56: <!ENTITY ecolon "≕" ><!--U2255 /eqcolon R: equals, colon -->
! 57: <!ENTITY eDDot "" ><!--UE309 /ddotseq R: equal with four dots -->
! 58: <!ENTITY eDot "≑" ><!--U2251 /doteqdot /Doteq R: eq, even dots -->
! 59: <!ENTITY efDot "≒" ><!--U2252 /fallingdotseq R: eq, falling dots -->
! 60: <!ENTITY eg "" ><!--UE328 equal-or-greater -->
! 61: <!ENTITY egs "⋝" ><!--U22DD /eqslantgtr R: equal-or-gtr, slanted -->
! 62: <!ENTITY egsdot "" ><!--UE324 equal-or-greater, slanted, dot inside -->
! 63: <!ENTITY el "" ><!--UE327 equal-or-less -->
! 64: <!ENTITY els "⋜" ><!--U22DC /eqslantless R: eq-or-less, slanted -->
! 65: <!ENTITY elsdot "" ><!--UE323 equal-or-less, slanted, dot inside -->
! 66: <!ENTITY equest "≟" ><!--U225F /questeq R: equal with questionmark -->
! 67: <!ENTITY equivDD "" ><!--UE318 equivalent, four dots above -->
! 68: <!ENTITY erDot "≓" ><!--U2253 /risingdotseq R: eq, rising dots -->
! 69: <!ENTITY esdot "≐" ><!--U2250 /doteq R: equals, single dot above -->
! 70: <!ENTITY esim "≂" ><!--U2242 /esim R: equals, similar -->
! 71: <!ENTITY Esim "" ><!--UE317 equal, similar -->
! 72: <!ENTITY fork "⋔" ><!--U22D4 /pitchfork R: pitchfork -->
! 73: <!ENTITY forkv "" ><!--UE31B fork, variant -->
! 74: <!ENTITY frown "⌢" ><!--U2322 /frown R: down curve -->
! 75: <!ENTITY gap "≳" ><!--U2273 /gtrapprox R: greater, approximate -->
! 76: <!ENTITY gel "⋛" ><!--U22DB /gtreqless R: greater, equals, less -->
! 77: <!ENTITY ges "" ><!--UE2F6 /geqslant R: gt-or-equal, slanted -->
! 78: <!ENTITY gescc "" ><!--UE358 greater than, closed by curve, equal, slanted -->
! 79: <!ENTITY gesdot "" ><!--UE31E greater-than-or-equal, slanted, dot inside -->
! 80: <!ENTITY gesdoto "" ><!--UE320 greater-than-or-equal, slanted, dot above -->
! 81: <!ENTITY gesdotol "" ><!--UE322 greater-than-or-equal, slanted, dot above left -->
! 82: <!ENTITY gesl "" ><!--UE32C greater, equal, slanted, less -->
! 83: <!ENTITY gesles "" ><!--UE332 greater, equal, slanted, less, equal, slanted -->
! 84: <!ENTITY gE "≧" ><!--U2267 /geqq R: greater, double equals -->
! 85: <!ENTITY gEl "⋛" ><!--U22DB /gtreqqless R: gt, dbl equals, less -->
! 86: <!ENTITY gl "≷" ><!--U2277 /gtrless R: greater, less -->
! 87: <!ENTITY gla "" ><!--UE330 greater, less, apart -->
! 88: <!ENTITY glE "" ><!--UE32E greater, less, equal -->
! 89: <!ENTITY glj "" ><!--UE32F greater, less, overlapping -->
! 90: <!ENTITY gsim "≳" ><!--U2273 /gtrsim R: greater, similar -->
! 91: <!ENTITY gsime "" ><!--UE334 greater, similar, equal -->
! 92: <!ENTITY gsiml "" ><!--UE336 greater, similar, less -->
! 93: <!ENTITY gtcc "" ><!--UE356 greater than, closed by curve -->
! 94: <!ENTITY gtcir "" ><!--UE326 greater than, circle inside -->
! 95: <!ENTITY gtdot "⋗" ><!--U22D7 /gtrdot R: greater than, with dot -->
! 96: <!ENTITY gtquest "" ><!--UE32A greater than, questionmark above -->
! 97: <!ENTITY gtrarr "" ><!--UE35F greater than, right arrow -->
! 98: <!ENTITY Gg "⋙" ><!--U22D9 /ggg /Gg /gggtr R: triple gtr-than -->
! 99: <!ENTITY Gt "≫" ><!--U226B /gg R: dbl greater-than sign -->
! 100: <!ENTITY homtht "∻" ><!--U223B homothetic -->
! 101: <!ENTITY lap "≲" ><!--U2272 /lessapprox R: less, approximate -->
! 102: <!ENTITY lat "" ><!--UE33A larger than -->
! 103: <!ENTITY late "" ><!--UE33C larger than or equal -->
! 104: <!ENTITY lates "" ><!--UE33E larger than or equal, slanted -->
! 105: <!ENTITY leg "⋚" ><!--U22DA /lesseqgtr R: less, eq, greater -->
! 106: <!ENTITY les "" ><!--UE2FA /leqslant R: less-than-or-eq, slant -->
! 107: <!ENTITY lescc "" ><!--UE357 less than, closed by curve, equal, slanted -->
! 108: <!ENTITY lesdot "" ><!--UE31D less-than-or-equal, slanted, dot inside -->
! 109: <!ENTITY lesdoto "" ><!--UE31F less-than-or-equal, slanted, dot above -->
! 110: <!ENTITY lesdotor "" ><!--UE321 less-than-or-equal, slanted, dot above right -->
! 111: <!ENTITY lesg "" ><!--UE32B less, equal, slanted, greater -->
! 112: <!ENTITY lesges "" ><!--UE331 less, equal, slanted, greater, equal, slanted -->
! 113: <!ENTITY lE "≦" ><!--U2266 /leqq R: less, double equals -->
! 114: <!ENTITY lEg "⋚" ><!--U22DA /lesseqqgtr R: less, dbl eq, greater -->
! 115: <!ENTITY lg "≶" ><!--U2276 /lessgtr R: less, greater -->
! 116: <!ENTITY lgE "" ><!--UE32D less, greater, equal -->
! 117: <!ENTITY lsim "≲" ><!--U2272 /lesssim R: less, similar -->
! 118: <!ENTITY lsime "" ><!--UE333 less, similar, equal -->
! 119: <!ENTITY lsimg "" ><!--UE335 less, similar, greater -->
! 120: <!ENTITY ltcc "" ><!--UE355 less than, closed by curve -->
! 121: <!ENTITY ltcir "" ><!--UE325 less than, circle inside -->
! 122: <!ENTITY ltdot "⋖" ><!--U22D6 /lessdot R: less than, with dot -->
! 123: <!ENTITY ltlarr "" ><!--UE35E less than, left arrow -->
! 124: <!ENTITY ltquest "" ><!--UE329 less than, questionmark above -->
! 125: <!ENTITY ltrie "⊴" ><!--U22B4 /trianglelefteq R: left triangle, eq -->
! 126: <!ENTITY Ll "⋘" ><!--U22D8 /Ll /lll /llless R: triple less-than -->
! 127: <!ENTITY Lt "≪" ><!--U226A /ll R: double less-than sign -->
! 128: <!ENTITY mcomma "" ><!--UE31A minus, comma above -->
! 129: <!ENTITY mDDot "∺" ><!--U223A minus with four dots, geometric properties -->
! 130: <!ENTITY mid "∣" ><!--U2223 /mid R: -->
! 131: <!ENTITY mlcp "" ><!--UE30A /mlcp -->
! 132: <!ENTITY models "⊧" ><!--U22A7 /models R: -->
! 133: <!ENTITY mstpos "∾" ><!--U223E most positive -->
! 134: <!ENTITY pr "≺" ><!--U227A /prec R: precedes -->
! 135: <!ENTITY prap "≾" ><!--U227E /precapprox R: precedes, approximate -->
! 136: <!ENTITY prcue "≼" ><!--U227C /preccurlyeq R: precedes, curly eq -->
! 137: <!ENTITY pre "" ><!--UE2FE /preceq R: precedes, equals -->
! 138: <!ENTITY prE "" ><!--UE2FE precedes, dbl equals -->
! 139: <!ENTITY prsim "≾" ><!--U227E /precsim R: precedes, similar -->
! 140: <!ENTITY prurel "⊰" ><!--U22B0 element precedes under relation -->
! 141: <!ENTITY Pr "" ><!--UE35C dbl precedes -->
! 142: <!ENTITY ratio "∶" ><!--U2236 /ratio -->
! 143: <!ENTITY rtrie "⊵" ><!--U22B5 /trianglerighteq R: right tri, eq -->
! 144: <!ENTITY rtriltri "" ><!--UE359 right triangle above left triangle -->
! 145: <!ENTITY sc "≻" ><!--U227B /succ R: succeeds -->
! 146: <!ENTITY scap "≿" ><!--U227F /succapprox R: succeeds, approximate -->
! 147: <!ENTITY sccue "≽" ><!--U227D /succcurlyeq R: succeeds, curly eq -->
! 148: <!ENTITY sce "≽" ><!--U227D /succeq R: succeeds, equals -->
! 149: <!ENTITY scE "≾" ><!--U227E succeeds, dbl equals -->
! 150: <!ENTITY scsim "≿" ><!--U227F /succsim R: succeeds, similar -->
! 151: <!ENTITY sdote "" ><!--UE319 equal, dot below -->
! 152: <!ENTITY simg "" ><!--UE30C similar, greater -->
! 153: <!ENTITY simgE "" ><!--UE338 similar, greater, equal -->
! 154: <!ENTITY siml "" ><!--UE30B similar, less -->
! 155: <!ENTITY simlE "" ><!--UE337 similar, less, equal -->
! 156: <!ENTITY smid "" ><!--UE301 /shortmid R: -->
! 157: <!ENTITY smile "⌣" ><!--U2323 /smile R: up curve -->
! 158: <!ENTITY smt "" ><!--UE339 smaller than -->
! 159: <!ENTITY smte "" ><!--UE33B smaller than or equal -->
! 160: <!ENTITY smtes "" ><!--UE33D smaller than or equal, slanted -->
! 161: <!ENTITY spar "" ><!--UE302 /shortparallel R: short parallel -->
! 162: <!ENTITY sqsub "⊏" ><!--U228F /sqsubset R: square subset -->
! 163: <!ENTITY sqsube "⊑" ><!--U2291 /sqsubseteq R: square subset, equals -->
! 164: <!ENTITY sqsup "⊐" ><!--U2290 /sqsupset R: square superset -->
! 165: <!ENTITY sqsupe "⊒" ><!--U2292 /sqsupseteq R: square superset, eq -->
! 166: <!ENTITY subedot "" ><!--UE34F subset, equals, dot -->
! 167: <!ENTITY subE "⊆" ><!--U2286 /subseteqq R: subset, dbl equals -->
! 168: <!ENTITY submult "" ><!--UE343 subset, multiply -->
! 169: <!ENTITY subplus "" ><!--UE341 subset, plus -->
! 170: <!ENTITY subrarr "" ><!--UE33F subset, right arrow -->
! 171: <!ENTITY subsim "" ><!--UE345 subset, similar -->
! 172: <!ENTITY subsub "" ><!--UE349 subset above subset -->
! 173: <!ENTITY subsup "" ><!--UE347 subset above superset -->
! 174: <!ENTITY supdsub "" ><!--UE34C superset, subset, dash joining them -->
! 175: <!ENTITY supedot "" ><!--UE350 superset, equals, dot -->
! 176: <!ENTITY supE "⊇" ><!--U2287 /supseteqq R: superset, dbl equals -->
! 177: <!ENTITY suphsol "" ><!--UE34E superset, solidus -->
! 178: <!ENTITY suphsub "" ><!--UE34B superset, subset -->
! 179: <!ENTITY suplarr "" ><!--UE340 superset, left arrow -->
! 180: <!ENTITY supmult "" ><!--UE344 superset, multiply -->
! 181: <!ENTITY supplus "" ><!--UE342 superset, plus -->
! 182: <!ENTITY supsim "" ><!--UE346 superset, similar -->
! 183: <!ENTITY supsub "" ><!--UE348 superset above subset -->
! 184: <!ENTITY supsup "" ><!--UE34A superset above superset -->
! 185: <!ENTITY Sc "" ><!--UE35D dbl succeeds -->
! 186: <!ENTITY Sub "⋐" ><!--U22D0 /Subset R: double subset -->
! 187: <!ENTITY Sup "⋑" ><!--U22D1 /Supset R: dbl superset -->
! 188: <!ENTITY thkap "" ><!--UE306 /thickapprox R: thick approximate -->
! 189: <!ENTITY thksim "" ><!--UE429 /thicksim R: thick similar -->
! 190: <!ENTITY topfork "" ><!--UE31C fork with top -->
! 191: <!ENTITY trie "≜" ><!--U225C /triangleq R: triangle, equals -->
! 192: <!ENTITY twixt "≬" ><!--U226C /between R: between -->
! 193: <!ENTITY vBar "" ><!--UE310 vert, dbl bar (under) -->
! 194: <!ENTITY vBarv "" ><!--UE312 dbl bar, vert over and under -->
! 195: <!ENTITY vdash "⊢" ><!--U22A2 /vdash R: vertical, dash -->
! 196: <!ENTITY vDash "⊨" ><!--U22A8 /vDash R: vertical, dbl dash -->
! 197: <!ENTITY vltri "⊲" ><!--U22B2 /vartriangleleft R: l tri, open, var -->
! 198: <!ENTITY vprop "∝" ><!--U221D /varpropto R: proportional, variant -->
! 199: <!ENTITY vrtri "⊳" ><!--U22B3 /vartriangleright R: r tri, open, var -->
! 200: <!ENTITY Vbar "" ><!--UE30D dbl vert, bar (under) -->
! 201: <!ENTITY Vdash "⊩" ><!--U22A9 /Vdash R: dbl vertical, dash -->
! 202: <!ENTITY Vdashl "" ><!--UE313 vertical, dash (long) -->
! 203: <!ENTITY VDash "⊫" ><!--U22AB dbl vert, dbl dash -->
! 204: <!ENTITY Vvdash "⊪" ><!--U22AA /Vvdash R: triple vertical, dash -->
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/back.gif){kind=icon}
Return to isoamsr.ent CVS log ![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/dir.gif){kind=icon}
Up to [LON-CAPA] / loncom / MathML