home *** CD-ROM | disk | FTP | other *** search
- <!--
-
- File isoamsr.ent produced by the dsssl script ent.dsl
- 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 "≊" ><!--U224A /approxeq R: approximate, equals -->
- <!ENTITY apE "≊" ><!--U224A approximately equal or equal to -->
- <!ENTITY apid "≋" ><!--U224B approximately identical to -->
- <!ENTITY asymp "≍" ><!--U224D /asymp R: asymptotically equal to -->
- <!ENTITY bcong "≌" ><!--U224C /backcong R: reverse congruent -->
- <!ENTITY bepsi "" ><!--UE800 /backepsilon R: such that -->
- <!ENTITY bowtie "⋈" ><!--U22C8 /bowtie R: -->
- <!ENTITY bsim "∽" ><!--U223D /backsim R: reverse similar -->
- <!ENTITY bsime "⋍" ><!--U22CD /backsimeq R: reverse similar, eq -->
- <!ENTITY bsolhsub "" ><!--UE34D reverse solidus, subset -->
- <!ENTITY bump "≎" ><!--U224E /Bumpeq R: bumpy equals -->
- <!ENTITY bumpe "≏" ><!--U224F /bumpeq R: bumpy equals, equals -->
- <!ENTITY bumpE "" ><!--UE316 bump, equals -->
- <!ENTITY Barv "" ><!--UE311 vert, dbl bar (over) -->
- <!ENTITY cire "≗" ><!--U2257 /circeq R: circle, equals -->
- <!ENTITY colone "≔" ><!--U2254 /coloneq R: colon, equals -->
- <!ENTITY congdot "" ><!--UE314 congruent, dot -->
- <!ENTITY csub "" ><!--UE351 subset, closed -->
- <!ENTITY csube "" ><!--UE353 subset, closed, equals -->
- <!ENTITY csup "" ><!--UE352 superset, closed -->
- <!ENTITY csupe "" ><!--UE354 superset, closed, equals -->
- <!ENTITY cuepr "⋞" ><!--U22DE /curlyeqprec R: curly eq, precedes -->
- <!ENTITY cuesc "⋟" ><!--U22DF /curlyeqsucc R: curly eq, succeeds -->
- <!ENTITY Colon "∷" ><!--U2237 /Colon, two colons -->
- <!ENTITY Colone "" ><!--UE30E double colon, equals -->
- <!ENTITY dashv "⊣" ><!--U22A3 /dashv R: dash, vertical -->
- <!ENTITY Dashv "" ><!--UE30F dbl dash, vertical -->
- <!ENTITY easter "≛" ><!--U225B equal, asterisk above -->
- <!ENTITY ecir "≖" ><!--U2256 /eqcirc R: circle on equals sign -->
- <!ENTITY ecolon "≕" ><!--U2255 /eqcolon R: equals, colon -->
- <!ENTITY eDDot "" ><!--UE309 /ddotseq R: equal with four dots -->
- <!ENTITY eDot "≑" ><!--U2251 /doteqdot /Doteq R: eq, even dots -->
- <!ENTITY efDot "≒" ><!--U2252 /fallingdotseq R: eq, falling dots -->
- <!ENTITY eg "" ><!--UE328 equal-or-greater -->
- <!ENTITY egs "⋝" ><!--U22DD /eqslantgtr R: equal-or-gtr, slanted -->
- <!ENTITY egsdot "" ><!--UE324 equal-or-greater, slanted, dot inside -->
- <!ENTITY el "" ><!--UE327 equal-or-less -->
- <!ENTITY els "⋜" ><!--U22DC /eqslantless R: eq-or-less, slanted -->
- <!ENTITY elsdot "" ><!--UE323 equal-or-less, slanted, dot inside -->
- <!ENTITY equest "≟" ><!--U225F /questeq R: equal with questionmark -->
- <!ENTITY equivDD "" ><!--UE318 equivalent, four dots above -->
- <!ENTITY erDot "≓" ><!--U2253 /risingdotseq R: eq, rising dots -->
- <!ENTITY esdot "≐" ><!--U2250 /doteq R: equals, single dot above -->
- <!ENTITY esim "≂" ><!--U2242 /esim R: equals, similar -->
- <!ENTITY Esim "" ><!--UE317 equal, similar -->
- <!ENTITY fork "⋔" ><!--U22D4 /pitchfork R: pitchfork -->
- <!ENTITY forkv "" ><!--UE31B fork, variant -->
- <!ENTITY frown "⌢" ><!--U2322 /frown R: down curve -->
- <!ENTITY gap "≳" ><!--U2273 /gtrapprox R: greater, approximate -->
- <!ENTITY gel "⋛" ><!--U22DB /gtreqless R: greater, equals, less -->
- <!ENTITY ges "" ><!--UE2F6 /geqslant R: gt-or-equal, slanted -->
- <!ENTITY gescc "" ><!--UE358 greater than, closed by curve, equal, slanted -->
- <!ENTITY gesdot "" ><!--UE31E greater-than-or-equal, slanted, dot inside -->
- <!ENTITY gesdoto "" ><!--UE320 greater-than-or-equal, slanted, dot above -->
- <!ENTITY gesdotol "" ><!--UE322 greater-than-or-equal, slanted, dot above left -->
- <!ENTITY gesl "" ><!--UE32C greater, equal, slanted, less -->
- <!ENTITY gesles "" ><!--UE332 greater, equal, slanted, less, equal, slanted -->
- <!ENTITY gE "≧" ><!--U2267 /geqq R: greater, double equals -->
- <!ENTITY gEl "⋛" ><!--U22DB /gtreqqless R: gt, dbl equals, less -->
- <!ENTITY gl "≷" ><!--U2277 /gtrless R: greater, less -->
- <!ENTITY gla "" ><!--UE330 greater, less, apart -->
- <!ENTITY glE "" ><!--UE32E greater, less, equal -->
- <!ENTITY glj "" ><!--UE32F greater, less, overlapping -->
- <!ENTITY gsim "≳" ><!--U2273 /gtrsim R: greater, similar -->
- <!ENTITY gsime "" ><!--UE334 greater, similar, equal -->
- <!ENTITY gsiml "" ><!--UE336 greater, similar, less -->
- <!ENTITY gtcc "" ><!--UE356 greater than, closed by curve -->
- <!ENTITY gtcir "" ><!--UE326 greater than, circle inside -->
- <!ENTITY gtdot "⋗" ><!--U22D7 /gtrdot R: greater than, with dot -->
- <!ENTITY gtquest "" ><!--UE32A greater than, questionmark above -->
- <!ENTITY gtrarr "" ><!--UE35F greater than, right arrow -->
- <!ENTITY Gg "⋙" ><!--U22D9 /ggg /Gg /gggtr R: triple gtr-than -->
- <!ENTITY Gt "≫" ><!--U226B /gg R: dbl greater-than sign -->
- <!ENTITY homtht "∻" ><!--U223B homothetic -->
- <!ENTITY lap "≲" ><!--U2272 /lessapprox R: less, approximate -->
- <!ENTITY lat "" ><!--UE33A larger than -->
- <!ENTITY late "" ><!--UE33C larger than or equal -->
- <!ENTITY lates "" ><!--UE33E larger than or equal, slanted -->
- <!ENTITY leg "⋚" ><!--U22DA /lesseqgtr R: less, eq, greater -->
- <!ENTITY les "" ><!--UE2FA /leqslant R: less-than-or-eq, slant -->
- <!ENTITY lescc "" ><!--UE357 less than, closed by curve, equal, slanted -->
- <!ENTITY lesdot "" ><!--UE31D less-than-or-equal, slanted, dot inside -->
- <!ENTITY lesdoto "" ><!--UE31F less-than-or-equal, slanted, dot above -->
- <!ENTITY lesdotor "" ><!--UE321 less-than-or-equal, slanted, dot above right -->
- <!ENTITY lesg "" ><!--UE32B less, equal, slanted, greater -->
- <!ENTITY lesges "" ><!--UE331 less, equal, slanted, greater, equal, slanted -->
- <!ENTITY lE "≦" ><!--U2266 /leqq R: less, double equals -->
- <!ENTITY lEg "⋚" ><!--U22DA /lesseqqgtr R: less, dbl eq, greater -->
- <!ENTITY lg "≶" ><!--U2276 /lessgtr R: less, greater -->
- <!ENTITY lgE "" ><!--UE32D less, greater, equal -->
- <!ENTITY lsim "≲" ><!--U2272 /lesssim R: less, similar -->
- <!ENTITY lsime "" ><!--UE333 less, similar, equal -->
- <!ENTITY lsimg "" ><!--UE335 less, similar, greater -->
- <!ENTITY ltcc "" ><!--UE355 less than, closed by curve -->
- <!ENTITY ltcir "" ><!--UE325 less than, circle inside -->
- <!ENTITY ltdot "⋖" ><!--U22D6 /lessdot R: less than, with dot -->
- <!ENTITY ltlarr "" ><!--UE35E less than, left arrow -->
- <!ENTITY ltquest "" ><!--UE329 less than, questionmark above -->
- <!ENTITY ltrie "⊴" ><!--U22B4 /trianglelefteq R: left triangle, eq -->
- <!ENTITY Ll "⋘" ><!--U22D8 /Ll /lll /llless R: triple less-than -->
- <!ENTITY Lt "≪" ><!--U226A /ll R: double less-than sign -->
- <!ENTITY mcomma "" ><!--UE31A minus, comma above -->
- <!ENTITY mDDot "∺" ><!--U223A minus with four dots, geometric properties -->
- <!ENTITY mid "∣" ><!--U2223 /mid R: -->
- <!ENTITY mlcp "" ><!--UE30A /mlcp -->
- <!ENTITY models "⊧" ><!--U22A7 /models R: -->
- <!ENTITY mstpos "∾" ><!--U223E most positive -->
- <!ENTITY pr "≺" ><!--U227A /prec R: precedes -->
- <!ENTITY prap "≾" ><!--U227E /precapprox R: precedes, approximate -->
- <!ENTITY prcue "≼" ><!--U227C /preccurlyeq R: precedes, curly eq -->
- <!ENTITY pre "" ><!--UE2FE /preceq R: precedes, equals -->
- <!ENTITY prE "" ><!--UE2FE precedes, dbl equals -->
- <!ENTITY prsim "≾" ><!--U227E /precsim R: precedes, similar -->
- <!ENTITY prurel "⊰" ><!--U22B0 element precedes under relation -->
- <!ENTITY Pr "" ><!--UE35C dbl precedes -->
- <!ENTITY ratio "∶" ><!--U2236 /ratio -->
- <!ENTITY rtrie "⊵" ><!--U22B5 /trianglerighteq R: right tri, eq -->
- <!ENTITY rtriltri "" ><!--UE359 right triangle above left triangle -->
- <!ENTITY sc "≻" ><!--U227B /succ R: succeeds -->
- <!ENTITY scap "≿" ><!--U227F /succapprox R: succeeds, approximate -->
- <!ENTITY sccue "≽" ><!--U227D /succcurlyeq R: succeeds, curly eq -->
- <!ENTITY sce "≽" ><!--U227D /succeq R: succeeds, equals -->
- <!ENTITY scE "≾" ><!--U227E succeeds, dbl equals -->
- <!ENTITY scsim "≿" ><!--U227F /succsim R: succeeds, similar -->
- <!ENTITY sdote "" ><!--UE319 equal, dot below -->
- <!ENTITY simg "" ><!--UE30C similar, greater -->
- <!ENTITY simgE "" ><!--UE338 similar, greater, equal -->
- <!ENTITY siml "" ><!--UE30B similar, less -->
- <!ENTITY simlE "" ><!--UE337 similar, less, equal -->
- <!ENTITY smid "" ><!--UE301 /shortmid R: -->
- <!ENTITY smile "⌣" ><!--U2323 /smile R: up curve -->
- <!ENTITY smt "" ><!--UE339 smaller than -->
- <!ENTITY smte "" ><!--UE33B smaller than or equal -->
- <!ENTITY smtes "" ><!--UE33D smaller than or equal, slanted -->
- <!ENTITY spar "" ><!--UE302 /shortparallel R: short parallel -->
- <!ENTITY sqsub "⊏" ><!--U228F /sqsubset R: square subset -->
- <!ENTITY sqsube "⊑" ><!--U2291 /sqsubseteq R: square subset, equals -->
- <!ENTITY sqsup "⊐" ><!--U2290 /sqsupset R: square superset -->
- <!ENTITY sqsupe "⊒" ><!--U2292 /sqsupseteq R: square superset, eq -->
- <!ENTITY subedot "" ><!--UE34F subset, equals, dot -->
- <!ENTITY subE "⊆" ><!--U2286 /subseteqq R: subset, dbl equals -->
- <!ENTITY submult "" ><!--UE343 subset, multiply -->
- <!ENTITY subplus "" ><!--UE341 subset, plus -->
- <!ENTITY subrarr "" ><!--UE33F subset, right arrow -->
- <!ENTITY subsim "" ><!--UE345 subset, similar -->
- <!ENTITY subsub "" ><!--UE349 subset above subset -->
- <!ENTITY subsup "" ><!--UE347 subset above superset -->
- <!ENTITY supdsub "" ><!--UE34C superset, subset, dash joining them -->
- <!ENTITY supedot "" ><!--UE350 superset, equals, dot -->
- <!ENTITY supE "⊇" ><!--U2287 /supseteqq R: superset, dbl equals -->
- <!ENTITY suphsol "" ><!--UE34E superset, solidus -->
- <!ENTITY suphsub "" ><!--UE34B superset, subset -->
- <!ENTITY suplarr "" ><!--UE340 superset, left arrow -->
- <!ENTITY supmult "" ><!--UE344 superset, multiply -->
- <!ENTITY supplus "" ><!--UE342 superset, plus -->
- <!ENTITY supsim "" ><!--UE346 superset, similar -->
- <!ENTITY supsub "" ><!--UE348 superset above subset -->
- <!ENTITY supsup "" ><!--UE34A superset above superset -->
- <!ENTITY Sc "" ><!--UE35D dbl succeeds -->
- <!ENTITY Sub "⋐" ><!--U22D0 /Subset R: double subset -->
- <!ENTITY Sup "⋑" ><!--U22D1 /Supset R: dbl superset -->
- <!ENTITY thkap "" ><!--UE306 /thickapprox R: thick approximate -->
- <!ENTITY thksim "" ><!--UE429 /thicksim R: thick similar -->
- <!ENTITY topfork "" ><!--UE31C fork with top -->
- <!ENTITY trie "≜" ><!--U225C /triangleq R: triangle, equals -->
- <!ENTITY twixt "≬" ><!--U226C /between R: between -->
- <!ENTITY vBar "" ><!--UE310 vert, dbl bar (under) -->
- <!ENTITY vBarv "" ><!--UE312 dbl bar, vert over and under -->
- <!ENTITY vdash "⊢" ><!--U22A2 /vdash R: vertical, dash -->
- <!ENTITY vDash "⊨" ><!--U22A8 /vDash R: vertical, dbl dash -->
- <!ENTITY vltri "⊲" ><!--U22B2 /vartriangleleft R: l tri, open, var -->
- <!ENTITY vprop "∝" ><!--U221D /varpropto R: proportional, variant -->
- <!ENTITY vrtri "⊳" ><!--U22B3 /vartriangleright R: r tri, open, var -->
- <!ENTITY Vbar "" ><!--UE30D dbl vert, bar (under) -->
- <!ENTITY Vdash "⊩" ><!--U22A9 /Vdash R: dbl vertical, dash -->
- <!ENTITY Vdashl "" ><!--UE313 vertical, dash (long) -->
- <!ENTITY VDash "⊫" ><!--U22AB dbl vert, dbl dash -->
- <!ENTITY Vvdash "⊪" ><!--U22AA /Vvdash R: triple vertical, dash -->
-