diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsre.dtd')
-rw-r--r-- | Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsre.dtd | 304 |
1 files changed, 0 insertions, 304 deletions
diff --git a/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsre.dtd b/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsre.dtd deleted file mode 100644 index d250baf518a..00000000000 --- a/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsre.dtd +++ /dev/null @@ -1,304 +0,0 @@ - -<!-- - ISOAMSR Characters alphabetically - Added Math Symbols: Relations Extended by MathML with aliases - - Converted from HTML table at - http://www.w3.org/TR/REC-MathML-19980407/chap6/ISOAMSRe1.html - - Copyright 1998 Nag Ltd, The OpenMath Consortium. Esprit Project 24.969. ---> - -<!ENTITY apE ""><!-- u+E315 approximately equal or equal to ISOAMSR --> -<!ENTITY ape "≊"><!-- u+224A approximate, equals ISOAMSR --> -<!ENTITY apid "≋"><!-- u+224B approximately identical to ISOAMSR --> -<!ENTITY approxeq "≊"><!-- u+224A approximate, equals MMALIAS ape--> -<!ENTITY asymp "≍"><!-- u+224D asymptotically equal to ISOAMSR --> -<!ENTITY backcong "≌"><!-- u+224C reverse congruent MMALIAS bcong--> -<!ENTITY backepsilon ""><!-- u+E420 such that MMALIAS bepsi--> -<!ENTITY backsim "∽"><!-- u+223D reverse similar MMALIAS bsim--> -<!ENTITY backsimeq "⋍"><!-- u+22CD reverse similar, equals MMALIAS bsime--> -<!ENTITY Barv ""><!-- u+E311 vert, double bar (over) ISOAMSR --> -<!ENTITY bcong "≌"><!-- u+224C reverse congruent ISOAMSR --> -<!ENTITY bepsi ""><!-- u+E420 such that ISOAMSR --> -<!ENTITY between "≬"><!-- u+226C between MMALIAS twixt--> -<!ENTITY bowtie "⋈"><!-- u+22C8 bowtie ISOAMSR --> -<!ENTITY bsim "∽"><!-- u+223D reverse similar ISOAMSR --> -<!ENTITY bsime "⋍"><!-- u+22CD reverse similar, equals ISOAMSR --> -<!ENTITY bsolhsub ""><!-- u+E34D reverse solidus, subset ISOAMSR --> -<!ENTITY bump "≎"><!-- u+224E bumpy equals ISOAMSR --> -<!ENTITY bumpe "≏"><!-- u+224F bumpy equals, equals ISOAMSR --> -<!ENTITY Bumpeq "≎"><!-- u+224E bumpy equals MMALIAS bump--> -<!ENTITY bumpeq "≏"><!-- u+224F bumpy equals, equals MMALIAS bumpe--> -<!ENTITY circeq "≗"><!-- u+2257 circle, equals MMALIAS cire--> -<!ENTITY cire "≗"><!-- u+2257 circle, equals ISOAMSR --> -<!ENTITY Colon "∷"><!-- u+2237 /Colon, two colons ISOAMSR --> -<!ENTITY Colone ""><!-- u+E30E double colon, equals ISOAMSR --> -<!ENTITY colone "≔"><!-- u+2254 colon, equals ISOAMSR --> -<!ENTITY coloneq "≔"><!-- u+2254 colon, equals MMALIAS colone--> -<!ENTITY congdot ""><!-- u+E314 congruent, dot ISOAMSR --> -<!ENTITY csub ""><!-- u+E351 subset, closed ISOAMSR --> -<!ENTITY csube ""><!-- u+E353 subset, closed, equals ISOAMSR --> -<!ENTITY csup ""><!-- u+E352 superset, closed ISOAMSR --> -<!ENTITY csupe ""><!-- u+E354 superset, closed, equals ISOAMSR --> -<!ENTITY cuepr "⋞"><!-- u+22DE curly equals, precedes ISOAMSR --> -<!ENTITY cuesc "⋟"><!-- u+22DF curly equals, succeeds ISOAMSR --> -<!--<!ENTITY Cup "⌣">--> -<!-- u+2323 up curve MMALIAS smile--> -<!ENTITY CupCap "≍"><!-- u+224D asymptotically equal to MMALIAS asymp--> -<!ENTITY curlyeqprec "⋞"><!-- u+22DE curly equals, precedes MMALIAS cuepr--> -<!ENTITY curlyeqsucc "⋟"><!-- u+22DF curly equals, succeeds MMALIAS cuesc--> -<!ENTITY Dashv ""><!-- u+E30F double dash, vertical ISOAMSR --> -<!ENTITY dashv "⊣"><!-- u+22A3 dash, vertical ISOAMSR --> -<!ENTITY ddotseq ""><!-- u+E309 equal with four dots MMALIAS eDDot--> -<!ENTITY doteq "≐"><!-- u+2250 equals, single dot above MMALIAS esdot--> -<!ENTITY doteqdot "≑"><!-- u+2251 equals, even dots MMALIAS eDot--> -<!ENTITY DotEqual "≐"><!-- u+2250 equals, single dot above MMALIAS esdot--> -<!ENTITY DoubleRightTee "⊨"><!-- u+22A8 vertical, double dash MMALIAS vDash--> -<!ENTITY easter "≛"><!-- u+225B equal, asterisk above ISOAMSR --> -<!ENTITY ecir "≖"><!-- u+2256 circle on equals sign ISOAMSR --> -<!ENTITY ecolon "≕"><!-- u+2255 equals, colon ISOAMSR --> -<!ENTITY eDDot ""><!-- u+E309 equal with four dots ISOAMSR --> -<!ENTITY eDot "≑"><!-- u+2251 equals, even dots ISOAMSR --> -<!ENTITY efDot "≒"><!-- u+2252 equals, falling dots ISOAMSR --> -<!ENTITY eg ""><!-- u+E328 equal-or-greater ISOAMSR --> -<!ENTITY egs "⋝"><!-- u+22DD equal-or-gtr, slanted ISOAMSR --> -<!ENTITY egsdot ""><!-- u+E324 equal-or-greater, slanted, dot inside ISOAMSR --> -<!ENTITY el ""><!-- u+E327 equal-or-less ISOAMSR --> -<!ENTITY els "⋜"><!-- u+22DC eq-or-less, slanted ISOAMSR --> -<!ENTITY elsdot ""><!-- u+E323 equal-or-less, slanted, dot inside ISOAMSR --> -<!ENTITY eqcirc "≖"><!-- u+2256 circle on equals sign MMALIAS ecir--> -<!ENTITY eqcolon "≕"><!-- u+2255 equals, colon MMALIAS ecolon--> -<!ENTITY eqsim "≂"><!-- u+2242 equals, similar MMALIAS esim--> -<!ENTITY eqslantgtr "⋝"><!-- u+22DD equal-or-gtr, slanted MMALIAS egs--> -<!ENTITY eqslantless "⋜"><!-- u+22DC eq-or-less, slanted MMALIAS els--> -<!ENTITY EqualTilde "≂"><!-- u+2242 equals, similar MMALIAS esim--> -<!ENTITY equest "≟"><!-- u+225F equal with questionmark ISOAMSR --> -<!ENTITY equivDD ""><!-- u+E318 equivalent, four dots above ISOAMSR --> -<!ENTITY erDot "≓"><!-- u+2253 equals, rising dots ISOAMSR --> -<!ENTITY esdot "≐"><!-- u+2250 equals, single dot above ISOAMSR --> -<!ENTITY Esim ""><!-- u+E317 equal, similar ISOAMSR --> -<!ENTITY esim "≂"><!-- u+2242 equals, similar ISOAMSR --> -<!ENTITY fallingdotseq "≒"><!-- u+2252 equals, falling dots MMALIAS efDot--> -<!ENTITY fork "⋔"><!-- u+22D4 pitchfork ISOAMSR --> -<!ENTITY forkv ""><!-- u+E31B fork, variant ISOAMSR --> -<!ENTITY frown "⌢"><!-- u+2322 down curve ISOAMSR --> -<!ENTITY gap "≳"><!-- u+2273 greater, approximate ISOAMSR --> -<!ENTITY gE "≧"><!-- u+2267 greater, double equals ISOAMSR --> -<!ENTITY gEl "⋛"><!-- u+22DB gt, double equals, less ISOAMSR --> -<!ENTITY gel "⋛"><!-- u+22DB greater, equals, less ISOAMSR --> -<!ENTITY geqq "≧"><!-- u+2267 greater, double equals MMALIAS gE--> -<!ENTITY geqslant ""><!-- u+E421 gt-or-equal, slanted MMALIAS ges--> -<!ENTITY ges ""><!-- u+E421 gt-or-equal, slanted ISOAMSR --> -<!ENTITY gescc ""><!-- u+E358 greater than, closed by curve, equal, slanted ISOAMSR --> -<!ENTITY gesdot ""><!-- u+E31E greater-than-or-equal, slanted, dot inside ISOAMSR --> -<!ENTITY gesdoto ""><!-- u+E320 greater-than-or-equal, slanted, dot above ISOAMSR --> -<!ENTITY gesdotol ""><!-- u+E322 greater-than-or-equal, slanted, dot above left ISOAMSR --> -<!ENTITY gesl ""><!-- u+E32C greater, equal, slanted, less ISOAMSR --> -<!ENTITY gesles ""><!-- u+E332 greater, equal, slanted, less, equal, slanted ISOAMSR --> -<!ENTITY Gg "⋙"><!-- u+22D9 triple gtr-than ISOAMSR --> -<!ENTITY gg "≫"><!-- u+226B double greater-than sign MMALIAS Gt--> -<!ENTITY ggg "⋙"><!-- u+22D9 triple gtr-than MMALIAS Gg--> -<!ENTITY gl "≷"><!-- u+2277 greater, less ISOAMSR --> -<!ENTITY gla ""><!-- u+E330 greater, less, apart ISOAMSR --> -<!ENTITY glE ""><!-- u+E32E greater, less, equal ISOAMSR --> -<!ENTITY glj ""><!-- u+E32F greater, less, overlapping ISOAMSR --> -<!ENTITY GreaterEqualLess "⋛"><!-- u+22DB greater, equals, less MMALIAS gel--> -<!ENTITY GreaterFullEqual "≧"><!-- u+2267 greater, double equals MMALIAS gE--> -<!ENTITY GreaterLess "≷"><!-- u+2277 greater, less MMALIAS gl--> -<!ENTITY GreaterSlantEqual ""><!-- u+E421 gt-or-equal, slanted MMALIAS ges--> -<!ENTITY GreaterTilde "≳"><!-- u+2273 greater, similar MMALIAS gsim--> -<!ENTITY gsim "≳"><!-- u+2273 greater, similar ISOAMSR --> -<!ENTITY gsime ""><!-- u+E334 greater, similar, equal ISOAMSR --> -<!ENTITY gsiml ""><!-- u+E336 greater, similar, less ISOAMSR --> -<!ENTITY Gt "≫"><!-- u+226B double greater-than sign ISOAMSR --> -<!ENTITY gtcc ""><!-- u+E356 greater than, closed by curve ISOAMSR --> -<!ENTITY gtcir ""><!-- u+E326 greater than, circle inside ISOAMSR --> -<!ENTITY gtdot "⋗"><!-- u+22D7 greater than, with dot ISOAMSR --> -<!ENTITY gtquest ""><!-- u+E32A greater than, questionmark above ISOAMSR --> -<!ENTITY gtrapprox "≳"><!-- u+2273 greater, approximate MMALIAS gap--> -<!ENTITY gtrarr ""><!-- u+E35F greater than, right arrow ISOAMSR --> -<!ENTITY gtrdot "⋗"><!-- u+22D7 greater than, with dot MMALIAS gtdot--> -<!ENTITY gtreqless "⋛"><!-- u+22DB greater, equals, less MMALIAS gel--> -<!ENTITY gtreqqless "⋛"><!-- u+22DB gt, double equals, less MMALIAS gEl--> -<!ENTITY gtrless "≷"><!-- u+2277 greater, less MMALIAS gl--> -<!ENTITY gtrsim "≳"><!-- u+2273 greater, similar MMALIAS gsim--> -<!ENTITY homtht "∻"><!-- u+223B homothetic ISOAMSR --> -<!ENTITY HumpDownHump "≎"><!-- u+224E bumpy equals MMALIAS bump--> -<!ENTITY HumpEqual "≏"><!-- u+224F bumpy equals, equals MMALIAS bumpe--> -<!ENTITY lap "≲"><!-- u+2272 less, approximate ISOAMSR --> -<!ENTITY lat ""><!-- u+E33A larger than ISOAMSR --> -<!ENTITY late ""><!-- u+E33C larger than or equal ISOAMSR --> -<!ENTITY lates ""><!-- u+E33E larger than or equal, slanted ISOAMSR --> -<!ENTITY lE "≦"><!-- u+2266 less, double equals ISOAMSR --> -<!ENTITY LeftTee "⊣"><!-- u+22A3 dash, vertical MMALIAS dashv--> -<!ENTITY LeftTriangle "⊲"><!-- u+22B2 left triangle, open, variant MMALIAS vltri--> -<!ENTITY LeftTriangleEqual "⊴"><!-- u+22B4 left triangle, equals MMALIAS ltrie--> -<!ENTITY lEg "⋚"><!-- u+22DA less, double equals, greater ISOAMSR --> -<!ENTITY leg "⋚"><!-- u+22DA less, equals, greater ISOAMSR --> -<!ENTITY leqq "≦"><!-- u+2266 less, double equals MMALIAS lE--> -<!ENTITY leqslant ""><!-- u+E425 less-than-or-equals, slant MMALIAS les--> -<!ENTITY les ""><!-- u+E425 less-than-or-equals, slant ISOAMSR --> -<!ENTITY lescc ""><!-- u+E357 less than, closed by curve, equal, slanted ISOAMSR --> -<!ENTITY lesdot ""><!-- u+E31D less-than-or-equal, slanted, dot inside ISOAMSR --> -<!ENTITY lesdoto ""><!-- u+E31F less-than-or-equal, slanted, dot above ISOAMSR --> -<!ENTITY lesdotor ""><!-- u+E321 less-than-or-equal, slanted, dot above right ISOAMSR --> -<!ENTITY lesg ""><!-- u+E32B less, equal, slanted, greater ISOAMSR --> -<!ENTITY lesges ""><!-- u+E331 less, equal, slanted, greater, equal, slanted ISOAMSR --> -<!ENTITY lessapprox "≲"><!-- u+2272 less, approximate MMALIAS lap--> -<!ENTITY lessdot "⋖"><!-- u+22D6 less than, with dot MMALIAS ltdot--> -<!ENTITY lesseqgtr "⋚"><!-- u+22DA less, equals, greater MMALIAS leg--> -<!ENTITY lesseqqgtr "⋚"><!-- u+22DA less, double equals, greater MMALIAS lEg--> -<!ENTITY LessEqualGreater "⋚"><!-- u+22DA less, equals, greater MMALIAS leg--> -<!ENTITY LessFullEqual "≦"><!-- u+2266 less, double equals MMALIAS lE--> -<!ENTITY LessGreater "≶"><!-- u+2276 less, greater MMALIAS lg--> -<!ENTITY lessgtr "≶"><!-- u+2276 less, greater MMALIAS lg--> -<!ENTITY lesssim "≲"><!-- u+2272 less, similar MMALIAS lsim--> -<!ENTITY LessSlantEqual ""><!-- u+E425 less-than-or-equals, slant MMALIAS les--> -<!ENTITY LessTilde "≲"><!-- u+2272 less, similar MMALIAS lsim--> -<!ENTITY lg "≶"><!-- u+2276 less, greater ISOAMSR --> -<!ENTITY lgE ""><!-- u+E32D less, greater, equal ISOAMSR --> -<!ENTITY Ll "⋘"><!-- u+22D8 triple less-than ISOAMSR --> -<!ENTITY ll "≪"><!-- u+226A double less-than sign MMALIAS Lt--> -<!ENTITY lsim "≲"><!-- u+2272 less, similar ISOAMSR --> -<!ENTITY lsime ""><!-- u+E333 less, similar, equal ISOAMSR --> -<!ENTITY lsimg ""><!-- u+E335 less, similar, greater ISOAMSR --> -<!ENTITY Lt "≪"><!-- u+226A double less-than sign ISOAMSR --> -<!ENTITY ltcc ""><!-- u+E355 less than, closed by curve ISOAMSR --> -<!ENTITY ltcir ""><!-- u+E325 less than, circle inside ISOAMSR --> -<!ENTITY ltdot "⋖"><!-- u+22D6 less than, with dot ISOAMSR --> -<!ENTITY ltlarr ""><!-- u+E35E less than, left arrow ISOAMSR --> -<!ENTITY ltquest ""><!-- u+E329 less than, questionmark above ISOAMSR --> -<!ENTITY ltrie "⊴"><!-- u+22B4 left triangle, equals ISOAMSR --> -<!ENTITY mcomma ""><!-- u+E31A minus, comma above ISOAMSR --> -<!ENTITY mDDot "∺"><!-- u+223A minus with four dots, geometric properties ISOAMSR --> -<!ENTITY mid "∣"><!-- u+2223 mid ISOAMSR --> -<!ENTITY mlcp ""><!-- u+E30A transversal intersection ISOAMSR --> -<!ENTITY models "⊧"><!-- u+22A7 models ISOAMSR --> -<!ENTITY mstpos "∾"><!-- u+223E most positive ISOAMSR --> -<!ENTITY NestedGreaterGreater "≫"><!-- u+226B double greater-than sign MMALIAS Gt--> -<!ENTITY NestedLessLess "≪"><!-- u+226A double less-than sign MMALIAS Lt--> -<!ENTITY pitchfork "⋔"><!-- u+22D4 pitchfork MMALIAS fork--> -<!ENTITY Pr ""><!-- u+E35C double precedes ISOAMSR --> -<!ENTITY pr "≺"><!-- u+227A precedes ISOAMSR --> -<!ENTITY prap "≾"><!-- u+227E precedes, approximate ISOAMSR --> -<!ENTITY prcue "≼"><!-- u+227C precedes, curly equals ISOAMSR --> -<!ENTITY prE "≼"><!-- u+227C precedes, double equals ISOAMSR --> -<!ENTITY pre "≼"><!-- u+227C precedes, equals ISOAMSR --> -<!ENTITY prec "≺"><!-- u+227A precedes MMALIAS pr--> -<!ENTITY precapprox "≾"><!-- u+227E precedes, approximate MMALIAS prap--> -<!ENTITY preccurlyeq "≼"><!-- u+227C precedes, curly equals MMALIAS prcue--> -<!ENTITY Precedes "≺"><!-- u+227A precedes MMALIAS pr--> -<!ENTITY PrecedesEqual "≼"><!-- u+227C precedes, equals MMALIAS pre--> -<!ENTITY PrecedesSlantEqual "≼"><!-- u+227C precedes, curly equals MMALIAS prcue--> -<!ENTITY PrecedesTilde "≾"><!-- u+227E precedes, similar MMALIAS prsim--> -<!ENTITY preceq "≼"><!-- u+227C precedes, equals MMALIAS pre--> -<!ENTITY precsim "≾"><!-- u+227E precedes, similar MMALIAS prsim--> -<!ENTITY Proportion "∷"><!-- u+2237 /Colon, two colons MMALIAS Colon--> -<!ENTITY prsim "≾"><!-- u+227E precedes, similar ISOAMSR --> -<!ENTITY prurel "⊰"><!-- u+22B0 element precedes under relation ISOAMSR --> -<!ENTITY questeq "≟"><!-- u+225F equal with questionmark MMALIAS equest--> -<!ENTITY ratio "∶"><!-- u+2236 ratio ISOAMSR --> -<!ENTITY RightTee "⊢"><!-- u+22A2 vertical, dash MMALIAS vdash--> -<!ENTITY RightTriangle "⊳"><!-- u+22B3 right triangle, open, variant MMALIAS vrtri--> -<!ENTITY RightTriangleEqual "⊵"><!-- u+22B5 right triangle, equals MMALIAS rtrie--> -<!ENTITY risingdotseq "≓"><!-- u+2253 equals, rising dots MMALIAS erDot--> -<!ENTITY rtrie "⊵"><!-- u+22B5 right triangle, equals ISOAMSR --> -<!ENTITY rtriltri ""><!-- u+E359 right triangle above left triangle ISOAMSR --> -<!ENTITY Sc ""><!-- u+E35D double succeeds ISOAMSR --> -<!ENTITY sc "≻"><!-- u+227B succeeds ISOAMSR --> -<!ENTITY scap "≿"><!-- u+227F succeeds, approximate ISOAMSR --> -<!ENTITY sccue "≽"><!-- u+227D succeeds, curly equals ISOAMSR --> -<!ENTITY scE "≾"><!-- u+227E succeeds, double equals ISOAMSR --> -<!ENTITY sce "≽"><!-- u+227D succeeds, equals ISOAMSR --> -<!ENTITY scsim "≿"><!-- u+227F succeeds, similar ISOAMSR --> -<!ENTITY sdote ""><!-- u+E319 equal, dot below ISOAMSR --> -<!ENTITY sfrown ""><!-- u+E426 small down curve ISOAMSR --> -<!ENTITY shortmid ""><!-- u+E301 shortmid MMALIAS smid--> -<!ENTITY shortparallel ""><!-- u+E302 short parallel MMALIAS spar--> -<!ENTITY simg ""><!-- u+E30C similar, greater ISOAMSR --> -<!ENTITY simgE ""><!-- u+E338 similar, greater, equal ISOAMSR --> -<!ENTITY siml ""><!-- u+E30B similar, less ISOAMSR --> -<!ENTITY simlE ""><!-- u+E337 similar, less, equal ISOAMSR --> -<!ENTITY smallfrown ""><!-- u+E426 small down curve MMALIAS sfrown--> -<!ENTITY smallsmile ""><!-- u+E303 small up curve MMALIAS ssmile--> -<!ENTITY smid ""><!-- u+E301 shortmid ISOAMSR --> -<!ENTITY smile "⌣"><!-- u+2323 up curve ISOAMSR --> -<!ENTITY smt ""><!-- u+E339 smaller than ISOAMSR --> -<!ENTITY smte ""><!-- u+E33B smaller than or equal ISOAMSR --> -<!ENTITY smtes ""><!-- u+E33D smaller than or equal, slanted ISOAMSR --> -<!ENTITY spar ""><!-- u+E302 short parallel ISOAMSR --> -<!ENTITY sqsub "⊏"><!-- u+228F square subset ISOAMSR --> -<!ENTITY sqsube "⊑"><!-- u+2291 square subset, equals ISOAMSR --> -<!ENTITY sqsubset "⊏"><!-- u+228F square subset MMALIAS sqsub--> -<!ENTITY sqsubseteq "⊑"><!-- u+2291 square subset, equals MMALIAS sqsube--> -<!ENTITY sqsup "⊐"><!-- u+2290 square superset ISOAMSR --> -<!ENTITY sqsupe "⊒"><!-- u+2292 square superset, equals ISOAMSR --> -<!ENTITY sqsupset "⊐"><!-- u+2290 square superset MMALIAS sqsup--> -<!ENTITY sqsupseteq "⊒"><!-- u+2292 square superset, equals MMALIAS sqsupe--> -<!ENTITY SquareSubset "⊏"><!-- u+228F square subset MMALIAS sqsub--> -<!ENTITY SquareSubsetEqual "⊑"><!-- u+2291 square subset, equals MMALIAS sqsube--> -<!ENTITY SquareSuperset "⊐"><!-- u+2290 square superset MMALIAS sqsup--> -<!ENTITY SquareSupersetEqual "⊒"><!-- u+2292 square superset, equals MMALIAS sqsupe--> -<!ENTITY ssmile ""><!-- u+E303 small up curve ISOAMSR --> -<!ENTITY Sub "⋐"><!-- u+22D0 double subset ISOAMSR --> -<!ENTITY subE "⊆"><!-- u+2286 subset, double equals ISOAMSR --> -<!ENTITY subedot ""><!-- u+E34F subset, equals, dot ISOAMSR --> -<!ENTITY submult ""><!-- u+E343 subset, multiply ISOAMSR --> -<!ENTITY subplus ""><!-- u+E341 subset, plus ISOAMSR --> -<!ENTITY subrarr ""><!-- u+E33F subset, right arrow ISOAMSR --> -<!--<!ENTITY Subset "⋐">--> -<!-- u+22D0 double subset MMALIAS Sub--> -<!ENTITY subseteqq "⊆"><!-- u+2286 subset, double equals MMALIAS subE--> -<!ENTITY subsim ""><!-- u+E345 subset, similar ISOAMSR --> -<!ENTITY subsub ""><!-- u+E349 subset above subset ISOAMSR --> -<!ENTITY subsup ""><!-- u+E347 subset above superset ISOAMSR --> -<!ENTITY succ "≻"><!-- u+227B succeeds MMALIAS sc--> -<!ENTITY succapprox "≿"><!-- u+227F succeeds, approximate MMALIAS scap--> -<!ENTITY succcurlyeq "≽"><!-- u+227D succeeds, curly equals MMALIAS sccue--> -<!ENTITY Succeeds "≻"><!-- u+227B succeeds MMALIAS sc--> -<!ENTITY SucceedsEqual "≽"><!-- u+227D succeeds, equals MMALIAS sce--> -<!ENTITY SucceedsSlantEqual "≽"><!-- u+227D succeeds, curly equals MMALIAS sccue--> -<!ENTITY SucceedsTilde "≿"><!-- u+227F succeeds, similar MMALIAS scsim--> -<!ENTITY succeq "≽"><!-- u+227D succeeds, equals MMALIAS sce--> -<!ENTITY succsim "≿"><!-- u+227F succeeds, similar MMALIAS scsim--> -<!ENTITY Sup "⋑"><!-- u+22D1 double superset ISOAMSR --> -<!ENTITY supdsub ""><!-- u+E34C superset, subset, dash joining them ISOAMSR --> -<!ENTITY supE "⊇"><!-- u+2287 superset, double equals ISOAMSR --> -<!ENTITY supedot ""><!-- u+E350 superset, equals, dot ISOAMSR --> -<!ENTITY suphsol ""><!-- u+E34E superset, solidus ISOAMSR --> -<!ENTITY suphsub ""><!-- u+E34B superset, subset ISOAMSR --> -<!ENTITY suplarr ""><!-- u+E340 superset, left arrow ISOAMSR --> -<!ENTITY supmult ""><!-- u+E344 superset, multiply ISOAMSR --> -<!ENTITY supplus ""><!-- u+E342 superset, plus ISOAMSR --> -<!ENTITY Supset "⋑"><!-- u+22D1 double superset MMALIAS Sup--> -<!ENTITY supseteqq "⊇"><!-- u+2287 superset, double equals MMALIAS supE--> -<!ENTITY supsim ""><!-- u+E346 superset, similar ISOAMSR --> -<!ENTITY supsub ""><!-- u+E348 superset above subset ISOAMSR --> -<!ENTITY supsup ""><!-- u+E34A superset above superset ISOAMSR --> -<!ENTITY thickapprox ""><!-- u+E306 thick approximate MMALIAS thkap--> -<!ENTITY thicksim ""><!-- u+E429 thick similar MMALIAS thksim--> -<!ENTITY thkap ""><!-- u+E306 thick approximate ISOAMSR --> -<!ENTITY thksim ""><!-- u+E429 thick similar ISOAMSR --> -<!ENTITY topfork ""><!-- u+E31C fork with top ISOAMSR --> -<!ENTITY trianglelefteq "⊴"><!-- u+22B4 left triangle, equals MMALIAS ltrie--> -<!ENTITY triangleq "≜"><!-- u+225C triangle, equals MMALIAS trie--> -<!ENTITY trianglerighteq "⊵"><!-- u+22B5 right triangle, equals MMALIAS rtrie--> -<!ENTITY trie "≜"><!-- u+225C triangle, equals ISOAMSR --> -<!ENTITY twixt "≬"><!-- u+226C between ISOAMSR --> -<!ENTITY varpropto "∝"><!-- u+221D proportional, variant MMALIAS vprop--> -<!ENTITY vartriangleleft "⊲"><!-- u+22B2 left triangle, open, variant MMALIAS vltri--> -<!ENTITY vartriangleright "⊳"><!-- u+22B3 right triangle, open, variant MMALIAS vrtri--> -<!ENTITY Vbar ""><!-- u+E30D double vert, bar (under) ISOAMSR --> -<!ENTITY vBar ""><!-- u+E310 vert, double bar (under) ISOAMSR --> -<!ENTITY vBarv ""><!-- u+E312 double bar, vert over and under ISOAMSR --> -<!ENTITY VDash "⊫"><!-- u+22AB double vert, double dash ISOAMSR --> -<!ENTITY Vdash "⊩"><!-- u+22A9 double vertical, dash ISOAMSR --> -<!ENTITY vDash "⊨"><!-- u+22A8 vertical, double dash ISOAMSR --> -<!ENTITY vdash "⊢"><!-- u+22A2 vertical, dash ISOAMSR --> -<!ENTITY Vdashl ""><!-- u+E313 vertical, dash (long) ISOAMSR --> -<!ENTITY VerticalBar "∣"><!-- u+2223 mid MMALIAS mid--> -<!ENTITY vltri "⊲"><!-- u+22B2 left triangle, open, variant ISOAMSR --> -<!ENTITY vprop "∝"><!-- u+221D proportional, variant ISOAMSR --> -<!ENTITY vrtri "⊳"><!-- u+22B3 right triangle, open, variant ISOAMSR --> -<!ENTITY Vvdash "⊪"><!-- u+22AA triple vertical, dash ISOAMSR --> |