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, 304 insertions, 0 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 new file mode 100644 index 00000000000..d250baf518a --- /dev/null +++ b/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsre.dtd @@ -0,0 +1,304 @@ + +<!-- + 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 --> |