Source

psgml-dtds / etc / ISO_8879-1986 / entities / isoamsr.ent

Full commit

<!--
     File isoamsr.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 in the STIX proposal for characters
     for Mathematics.

     The STIX assignments are temporary and will change if
     the proposal or some variant of it is adopted by the
     Unicode Consortium.

     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 ape         "&#8778;" ><!--U224A /approxeq R: approximate, equals -->
<!ENTITY apE         "&#8778;" ><!--U224A approximately equal or equal to -->
<!ENTITY apid        "&#8779;" ><!--U224B approximately identical to -->
<!ENTITY asymp       "&#8781;" ><!--U224D /asymp R: asymptotically equal to -->
<!ENTITY Barv       "&#58129;" ><!--UE311 vert, dbl bar (over) -->
<!ENTITY bcong       "&#8780;" ><!--U224C /backcong R: reverse congruent -->
<!ENTITY bepsi      "&#59392;" ><!--UE800 /backepsilon R: such that -->
<!ENTITY bowtie      "&#8904;" ><!--U22C8 /bowtie R: -->
<!ENTITY bsim        "&#8765;" ><!--U223D /backsim R: reverse similar -->
<!ENTITY bsime       "&#8909;" ><!--U22CD /backsimeq R: reverse similar, eq -->
<!ENTITY bsolhsub   "&#58189;" ><!--UE34D reverse solidus, subset -->
<!ENTITY bump        "&#8782;" ><!--U224E /Bumpeq R: bumpy equals -->
<!ENTITY bumpe       "&#8783;" ><!--U224F /bumpeq R: bumpy equals, equals -->
<!ENTITY bumpE      "&#58134;" ><!--UE316 bump, equals -->
<!ENTITY cire        "&#8791;" ><!--U2257 /circeq R: circle, equals -->
<!ENTITY Colon       "&#8759;" ><!--U2237 /Colon, two colons -->
<!ENTITY colone      "&#8788;" ><!--U2254 /coloneq R: colon, equals -->
<!ENTITY Colone     "&#58126;" ><!--UE30E double colon, equals -->
<!ENTITY congdot    "&#58132;" ><!--UE314 congruent, dot -->
<!ENTITY csub       "&#58193;" ><!--UE351 subset, closed -->
<!ENTITY csube      "&#58195;" ><!--UE353 subset, closed, equals -->
<!ENTITY csup       "&#58194;" ><!--UE352 superset, closed -->
<!ENTITY csupe      "&#58196;" ><!--UE354 superset, closed, equals -->
<!ENTITY cuepr       "&#8926;" ><!--U22DE /curlyeqprec R: curly eq, precedes -->
<!ENTITY cuesc       "&#8927;" ><!--U22DF /curlyeqsucc R: curly eq, succeeds -->
<!ENTITY dashv       "&#8867;" ><!--U22A3 /dashv R: dash, vertical -->
<!ENTITY Dashv      "&#58127;" ><!--UE30F dbl dash, vertical -->
<!ENTITY easter      "&#8795;" ><!--U225B equal, asterisk above -->
<!ENTITY ecir        "&#8790;" ><!--U2256 /eqcirc R: circle on equals sign -->
<!ENTITY ecolon      "&#8789;" ><!--U2255 /eqcolon R: equals, colon -->
<!ENTITY eDDot      "&#58121;" ><!--UE309 /ddotseq R: equal with four dots -->
<!ENTITY eDot        "&#8785;" ><!--U2251 /doteqdot /Doteq R: eq, even dots -->
<!ENTITY efDot       "&#8786;" ><!--U2252 /fallingdotseq R: eq, falling dots -->
<!ENTITY eg         "&#58152;" ><!--UE328 equal-or-greater -->
<!ENTITY egs         "&#8925;" ><!--U22DD /eqslantgtr R: equal-or-gtr, slanted -->
<!ENTITY egsdot     "&#58148;" ><!--UE324 equal-or-greater, slanted, dot inside -->
<!ENTITY el         "&#58151;" ><!--UE327 equal-or-less -->
<!ENTITY els         "&#8924;" ><!--U22DC /eqslantless R: eq-or-less, slanted -->
<!ENTITY elsdot     "&#58147;" ><!--UE323 equal-or-less, slanted, dot inside -->
<!ENTITY equest      "&#8799;" ><!--U225F /questeq R: equal with questionmark -->
<!ENTITY equivDD    "&#58136;" ><!--UE318 equivalent, four dots above -->
<!ENTITY erDot       "&#8787;" ><!--U2253 /risingdotseq R: eq, rising dots -->
<!ENTITY esdot       "&#8784;" ><!--U2250 /doteq R: equals, single dot above -->
<!ENTITY esim        "&#8770;" ><!--U2242 /esim R: equals, similar -->
<!ENTITY Esim       "&#58135;" ><!--UE317 equal, similar -->
<!ENTITY fork        "&#8916;" ><!--U22D4 /pitchfork R: pitchfork -->
<!ENTITY forkv      "&#58139;" ><!--UE31B fork, variant -->
<!ENTITY frown       "&#8994;" ><!--U2322 /frown R: down curve -->
<!ENTITY gap         "&#8819;" ><!--U2273 /gtrapprox R: greater, approximate -->
<!ENTITY gE          "&#8807;" ><!--U2267 /geqq R: greater, double equals -->
<!ENTITY gel         "&#8923;" ><!--U22DB /gtreqless R: greater, equals, less -->
<!ENTITY gEl         "&#8923;" ><!--U22DB /gtreqqless R: gt, dbl equals, less -->
<!ENTITY ges        "&#58102;" ><!--UE2F6 /geqslant R: gt-or-equal, slanted -->
<!ENTITY gescc      "&#58200;" ><!--UE358 greater than, closed by curve, equal, slanted -->
<!ENTITY gesdot     "&#58142;" ><!--UE31E greater-than-or-equal, slanted, dot inside -->
<!ENTITY gesdoto    "&#58144;" ><!--UE320 greater-than-or-equal, slanted, dot above -->
<!ENTITY gesdotol   "&#58146;" ><!--UE322 greater-than-or-equal, slanted, dot above left -->
<!ENTITY gesl       "&#58156;" ><!--UE32C greater, equal, slanted, less -->
<!ENTITY gesles     "&#58162;" ><!--UE332 greater, equal, slanted, less, equal, slanted -->
<!ENTITY Gg          "&#8921;" ><!--U22D9 /ggg /Gg /gggtr R: triple gtr-than -->
<!ENTITY gl          "&#8823;" ><!--U2277 /gtrless R: greater, less -->
<!ENTITY gla        "&#58160;" ><!--UE330 greater, less, apart -->
<!ENTITY glE        "&#58158;" ><!--UE32E greater, less, equal -->
<!ENTITY glj        "&#58159;" ><!--UE32F greater, less, overlapping -->
<!ENTITY gsim        "&#8819;" ><!--U2273 /gtrsim R: greater, similar -->
<!ENTITY gsime      "&#58164;" ><!--UE334 greater, similar, equal -->
<!ENTITY gsiml      "&#58166;" ><!--UE336 greater, similar, less -->
<!ENTITY Gt          "&#8811;" ><!--U226B /gg R: dbl greater-than sign -->
<!ENTITY gtcc       "&#58198;" ><!--UE356 greater than, closed by curve -->
<!ENTITY gtcir      "&#58150;" ><!--UE326 greater than, circle inside -->
<!ENTITY gtdot       "&#8919;" ><!--U22D7 /gtrdot R: greater than, with dot -->
<!ENTITY gtquest    "&#58154;" ><!--UE32A greater than, questionmark above -->
<!ENTITY gtrarr     "&#58207;" ><!--UE35F greater than, right arrow -->
<!ENTITY homtht      "&#8763;" ><!--U223B homothetic -->
<!ENTITY lap         "&#8818;" ><!--U2272 /lessapprox R: less, approximate -->
<!ENTITY lat        "&#58170;" ><!--UE33A larger than -->
<!ENTITY late       "&#58172;" ><!--UE33C larger than or equal -->
<!ENTITY lates      "&#58174;" ><!--UE33E larger than or equal, slanted -->
<!ENTITY lE          "&#8806;" ><!--U2266 /leqq R: less, double equals -->
<!ENTITY leg         "&#8922;" ><!--U22DA /lesseqgtr R: less, eq, greater -->
<!ENTITY lEg         "&#8922;" ><!--U22DA /lesseqqgtr R: less, dbl eq, greater -->
<!ENTITY les        "&#58106;" ><!--UE2FA /leqslant R: less-than-or-eq, slant -->
<!ENTITY lescc      "&#58199;" ><!--UE357 less than, closed by curve, equal, slanted -->
<!ENTITY lesdot     "&#58141;" ><!--UE31D less-than-or-equal, slanted, dot inside -->
<!ENTITY lesdoto    "&#58143;" ><!--UE31F less-than-or-equal, slanted, dot above -->
<!ENTITY lesdotor   "&#58145;" ><!--UE321 less-than-or-equal, slanted, dot above right -->
<!ENTITY lesg       "&#58155;" ><!--UE32B less, equal, slanted, greater -->
<!ENTITY lesges     "&#58161;" ><!--UE331 less, equal, slanted, greater, equal, slanted -->
<!ENTITY lg          "&#8822;" ><!--U2276 /lessgtr R: less, greater -->
<!ENTITY lgE        "&#58157;" ><!--UE32D less, greater, equal -->
<!ENTITY Ll          "&#8920;" ><!--U22D8 /Ll /lll /llless R: triple less-than -->
<!ENTITY lsim        "&#8818;" ><!--U2272 /lesssim R: less, similar -->
<!ENTITY lsime      "&#58163;" ><!--UE333 less, similar, equal -->
<!ENTITY lsimg      "&#58165;" ><!--UE335 less, similar, greater -->
<!ENTITY Lt          "&#8810;" ><!--U226A /ll R: double less-than sign -->
<!ENTITY ltcc       "&#58197;" ><!--UE355 less than, closed by curve -->
<!ENTITY ltcir      "&#58149;" ><!--UE325 less than, circle inside -->
<!ENTITY ltdot       "&#8918;" ><!--U22D6 /lessdot R: less than, with dot -->
<!ENTITY ltlarr     "&#58206;" ><!--UE35E less than, left arrow -->
<!ENTITY ltquest    "&#58153;" ><!--UE329 less than, questionmark above -->
<!ENTITY ltrie       "&#8884;" ><!--U22B4 /trianglelefteq R: left triangle, eq -->
<!ENTITY mcomma     "&#58138;" ><!--UE31A minus, comma above -->
<!ENTITY mDDot       "&#8762;" ><!--U223A minus with four dots, geometric properties -->
<!ENTITY mid         "&#8739;" ><!--U2223 /mid R: -->
<!ENTITY mlcp       "&#58122;" ><!--UE30A /mlcp -->
<!ENTITY models      "&#8871;" ><!--U22A7 /models R: -->
<!ENTITY mstpos      "&#8766;" ><!--U223E most positive -->
<!ENTITY pr          "&#8826;" ><!--U227A /prec R: precedes -->
<!ENTITY Pr         "&#58204;" ><!--UE35C dbl precedes -->
<!ENTITY prap        "&#8830;" ><!--U227E /precapprox R: precedes, approximate -->
<!ENTITY prcue       "&#8828;" ><!--U227C /preccurlyeq R: precedes, curly eq -->
<!ENTITY pre        "&#58110;" ><!--UE2FE /preceq R: precedes, equals -->
<!ENTITY prE        "&#58110;" ><!--UE2FE precedes, dbl equals -->
<!ENTITY prsim       "&#8830;" ><!--U227E /precsim R: precedes, similar -->
<!ENTITY prurel      "&#8880;" ><!--U22B0 element precedes under relation -->
<!ENTITY ratio       "&#8758;" ><!--U2236 /ratio -->
<!ENTITY rtrie       "&#8885;" ><!--U22B5 /trianglerighteq R: right tri, eq -->
<!ENTITY rtriltri   "&#58201;" ><!--UE359 right triangle above left triangle -->
<!ENTITY sc          "&#8827;" ><!--U227B /succ R: succeeds -->
<!ENTITY Sc         "&#58205;" ><!--UE35D dbl succeeds -->
<!ENTITY scap        "&#8831;" ><!--U227F /succapprox R: succeeds, approximate -->
<!ENTITY sccue       "&#8829;" ><!--U227D /succcurlyeq R: succeeds, curly eq -->
<!ENTITY sce         "&#8829;" ><!--U227D /succeq R: succeeds, equals -->
<!ENTITY scE         "&#8830;" ><!--U227E succeeds, dbl equals -->
<!ENTITY scsim       "&#8831;" ><!--U227F /succsim R: succeeds, similar -->
<!ENTITY sdote      "&#58137;" ><!--UE319 equal, dot below -->
<!ENTITY simg       "&#58124;" ><!--UE30C similar, greater -->
<!ENTITY simgE      "&#58168;" ><!--UE338 similar, greater, equal -->
<!ENTITY siml       "&#58123;" ><!--UE30B similar, less -->
<!ENTITY simlE      "&#58167;" ><!--UE337 similar, less, equal -->
<!ENTITY smid       "&#58113;" ><!--UE301 /shortmid R: -->
<!ENTITY smile       "&#8995;" ><!--U2323 /smile R: up curve -->
<!ENTITY smt        "&#58169;" ><!--UE339 smaller than -->
<!ENTITY smte       "&#58171;" ><!--UE33B smaller than or equal -->
<!ENTITY smtes      "&#58173;" ><!--UE33D smaller than or equal, slanted -->
<!ENTITY spar       "&#58114;" ><!--UE302 /shortparallel R: short parallel -->
<!ENTITY sqsub       "&#8847;" ><!--U228F /sqsubset R: square subset -->
<!ENTITY sqsube      "&#8849;" ><!--U2291 /sqsubseteq R: square subset, equals -->
<!ENTITY sqsup       "&#8848;" ><!--U2290 /sqsupset R: square superset -->
<!ENTITY sqsupe      "&#8850;" ><!--U2292 /sqsupseteq R: square superset, eq -->
<!ENTITY Sub         "&#8912;" ><!--U22D0 /Subset R: double subset -->
<!ENTITY subE        "&#8838;" ><!--U2286 /subseteqq R: subset, dbl equals -->
<!ENTITY subedot    "&#58191;" ><!--UE34F subset, equals, dot -->
<!ENTITY submult    "&#58179;" ><!--UE343 subset, multiply -->
<!ENTITY subplus    "&#58177;" ><!--UE341 subset, plus -->
<!ENTITY subrarr    "&#58175;" ><!--UE33F subset, right arrow -->
<!ENTITY subsim     "&#58181;" ><!--UE345 subset, similar -->
<!ENTITY subsub     "&#58185;" ><!--UE349 subset above subset -->
<!ENTITY subsup     "&#58183;" ><!--UE347 subset above superset -->
<!ENTITY Sup         "&#8913;" ><!--U22D1 /Supset R: dbl superset -->
<!ENTITY supdsub    "&#58188;" ><!--UE34C superset, subset, dash joining them -->
<!ENTITY supE        "&#8839;" ><!--U2287 /supseteqq R: superset, dbl equals -->
<!ENTITY supedot    "&#58192;" ><!--UE350 superset, equals, dot -->
<!ENTITY suphsol    "&#58190;" ><!--UE34E superset, solidus -->
<!ENTITY suphsub    "&#58187;" ><!--UE34B superset, subset -->
<!ENTITY suplarr    "&#58176;" ><!--UE340 superset, left arrow -->
<!ENTITY supmult    "&#58180;" ><!--UE344 superset, multiply -->
<!ENTITY supplus    "&#58178;" ><!--UE342 superset, plus -->
<!ENTITY supsim     "&#58182;" ><!--UE346 superset, similar -->
<!ENTITY supsub     "&#58184;" ><!--UE348 superset above subset -->
<!ENTITY supsup     "&#58186;" ><!--UE34A superset above superset -->
<!ENTITY thkap      "&#58118;" ><!--UE306 /thickapprox R: thick approximate -->
<!ENTITY thksim     "&#58409;" ><!--UE429 /thicksim R: thick similar -->
<!ENTITY topfork    "&#58140;" ><!--UE31C fork with top -->
<!ENTITY trie        "&#8796;" ><!--U225C /triangleq R: triangle, equals -->
<!ENTITY twixt       "&#8812;" ><!--U226C /between R: between -->
<!ENTITY vBar       "&#58128;" ><!--UE310 vert, dbl bar (under) -->
<!ENTITY Vbar       "&#58125;" ><!--UE30D dbl vert, bar (under) -->
<!ENTITY vBarv      "&#58130;" ><!--UE312 dbl bar, vert over and under -->
<!ENTITY vdash       "&#8866;" ><!--U22A2 /vdash R: vertical, dash -->
<!ENTITY vDash       "&#8872;" ><!--U22A8 /vDash R: vertical, dbl dash -->
<!ENTITY Vdash       "&#8873;" ><!--U22A9 /Vdash R: dbl vertical, dash -->
<!ENTITY VDash       "&#8875;" ><!--U22AB dbl vert, dbl dash -->
<!ENTITY Vdashl     "&#58131;" ><!--UE313 vertical, dash (long) -->
<!ENTITY vltri       "&#8882;" ><!--U22B2 /vartriangleleft R: l tri, open, var -->
<!ENTITY vprop       "&#8733;" ><!--U221D /varpropto R: proportional, variant -->
<!ENTITY vrtri       "&#8883;" ><!--U22B3 /vartriangleright R: r tri, open, var -->
<!ENTITY Vvdash      "&#8874;" ><!--U22AA /Vvdash R: triple vertical, dash -->