summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsre.dtd
diff options
context:
space:
mode:
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.dtd304
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 "&#58133;"><!-- u+E315 approximately equal or equal to ISOAMSR -->
-<!ENTITY ape "&#8778;"><!-- u+224A approximate, equals ISOAMSR -->
-<!ENTITY apid "&#8779;"><!-- u+224B approximately identical to ISOAMSR -->
-<!ENTITY approxeq "&#8778;"><!-- u+224A approximate, equals MMALIAS ape-->
-<!ENTITY asymp "&#8781;"><!-- u+224D asymptotically equal to ISOAMSR -->
-<!ENTITY backcong "&#8780;"><!-- u+224C reverse congruent MMALIAS bcong-->
-<!ENTITY backepsilon "&#58400;"><!-- u+E420 such that MMALIAS bepsi-->
-<!ENTITY backsim "&#8765;"><!-- u+223D reverse similar MMALIAS bsim-->
-<!ENTITY backsimeq "&#8909;"><!-- u+22CD reverse similar, equals MMALIAS bsime-->
-<!ENTITY Barv "&#58129;"><!-- u+E311 vert, double bar (over) ISOAMSR -->
-<!ENTITY bcong "&#8780;"><!-- u+224C reverse congruent ISOAMSR -->
-<!ENTITY bepsi "&#58400;"><!-- u+E420 such that ISOAMSR -->
-<!ENTITY between "&#8812;"><!-- u+226C between MMALIAS twixt-->
-<!ENTITY bowtie "&#8904;"><!-- u+22C8 bowtie ISOAMSR -->
-<!ENTITY bsim "&#8765;"><!-- u+223D reverse similar ISOAMSR -->
-<!ENTITY bsime "&#8909;"><!-- u+22CD reverse similar, equals ISOAMSR -->
-<!ENTITY bsolhsub "&#58189;"><!-- u+E34D reverse solidus, subset ISOAMSR -->
-<!ENTITY bump "&#8782;"><!-- u+224E bumpy equals ISOAMSR -->
-<!ENTITY bumpe "&#8783;"><!-- u+224F bumpy equals, equals ISOAMSR -->
-<!ENTITY Bumpeq "&#8782;"><!-- u+224E bumpy equals MMALIAS bump-->
-<!ENTITY bumpeq "&#8783;"><!-- u+224F bumpy equals, equals MMALIAS bumpe-->
-<!ENTITY circeq "&#8791;"><!-- u+2257 circle, equals MMALIAS cire-->
-<!ENTITY cire "&#8791;"><!-- u+2257 circle, equals ISOAMSR -->
-<!ENTITY Colon "&#8759;"><!-- u+2237 /Colon, two colons ISOAMSR -->
-<!ENTITY Colone "&#58126;"><!-- u+E30E double colon, equals ISOAMSR -->
-<!ENTITY colone "&#8788;"><!-- u+2254 colon, equals ISOAMSR -->
-<!ENTITY coloneq "&#8788;"><!-- u+2254 colon, equals MMALIAS colone-->
-<!ENTITY congdot "&#58132;"><!-- u+E314 congruent, dot ISOAMSR -->
-<!ENTITY csub "&#58193;"><!-- u+E351 subset, closed ISOAMSR -->
-<!ENTITY csube "&#58195;"><!-- u+E353 subset, closed, equals ISOAMSR -->
-<!ENTITY csup "&#58194;"><!-- u+E352 superset, closed ISOAMSR -->
-<!ENTITY csupe "&#58196;"><!-- u+E354 superset, closed, equals ISOAMSR -->
-<!ENTITY cuepr "&#8926;"><!-- u+22DE curly equals, precedes ISOAMSR -->
-<!ENTITY cuesc "&#8927;"><!-- u+22DF curly equals, succeeds ISOAMSR -->
-<!--<!ENTITY Cup "&#8995;">-->
-<!-- u+2323 up curve MMALIAS smile-->
-<!ENTITY CupCap "&#8781;"><!-- u+224D asymptotically equal to MMALIAS asymp-->
-<!ENTITY curlyeqprec "&#8926;"><!-- u+22DE curly equals, precedes MMALIAS cuepr-->
-<!ENTITY curlyeqsucc "&#8927;"><!-- u+22DF curly equals, succeeds MMALIAS cuesc-->
-<!ENTITY Dashv "&#58127;"><!-- u+E30F double dash, vertical ISOAMSR -->
-<!ENTITY dashv "&#8867;"><!-- u+22A3 dash, vertical ISOAMSR -->
-<!ENTITY ddotseq "&#58121;"><!-- u+E309 equal with four dots MMALIAS eDDot-->
-<!ENTITY doteq "&#8784;"><!-- u+2250 equals, single dot above MMALIAS esdot-->
-<!ENTITY doteqdot "&#8785;"><!-- u+2251 equals, even dots MMALIAS eDot-->
-<!ENTITY DotEqual "&#8784;"><!-- u+2250 equals, single dot above MMALIAS esdot-->
-<!ENTITY DoubleRightTee "&#8872;"><!-- u+22A8 vertical, double dash MMALIAS vDash-->
-<!ENTITY easter "&#8795;"><!-- u+225B equal, asterisk above ISOAMSR -->
-<!ENTITY ecir "&#8790;"><!-- u+2256 circle on equals sign ISOAMSR -->
-<!ENTITY ecolon "&#8789;"><!-- u+2255 equals, colon ISOAMSR -->
-<!ENTITY eDDot "&#58121;"><!-- u+E309 equal with four dots ISOAMSR -->
-<!ENTITY eDot "&#8785;"><!-- u+2251 equals, even dots ISOAMSR -->
-<!ENTITY efDot "&#8786;"><!-- u+2252 equals, falling dots ISOAMSR -->
-<!ENTITY eg "&#58152;"><!-- u+E328 equal-or-greater ISOAMSR -->
-<!ENTITY egs "&#8925;"><!-- u+22DD equal-or-gtr, slanted ISOAMSR -->
-<!ENTITY egsdot "&#58148;"><!-- u+E324 equal-or-greater, slanted, dot inside ISOAMSR -->
-<!ENTITY el "&#58151;"><!-- u+E327 equal-or-less ISOAMSR -->
-<!ENTITY els "&#8924;"><!-- u+22DC eq-or-less, slanted ISOAMSR -->
-<!ENTITY elsdot "&#58147;"><!-- u+E323 equal-or-less, slanted, dot inside ISOAMSR -->
-<!ENTITY eqcirc "&#8790;"><!-- u+2256 circle on equals sign MMALIAS ecir-->
-<!ENTITY eqcolon "&#8789;"><!-- u+2255 equals, colon MMALIAS ecolon-->
-<!ENTITY eqsim "&#8770;"><!-- u+2242 equals, similar MMALIAS esim-->
-<!ENTITY eqslantgtr "&#8925;"><!-- u+22DD equal-or-gtr, slanted MMALIAS egs-->
-<!ENTITY eqslantless "&#8924;"><!-- u+22DC eq-or-less, slanted MMALIAS els-->
-<!ENTITY EqualTilde "&#8770;"><!-- u+2242 equals, similar MMALIAS esim-->
-<!ENTITY equest "&#8799;"><!-- u+225F equal with questionmark ISOAMSR -->
-<!ENTITY equivDD "&#58136;"><!-- u+E318 equivalent, four dots above ISOAMSR -->
-<!ENTITY erDot "&#8787;"><!-- u+2253 equals, rising dots ISOAMSR -->
-<!ENTITY esdot "&#8784;"><!-- u+2250 equals, single dot above ISOAMSR -->
-<!ENTITY Esim "&#58135;"><!-- u+E317 equal, similar ISOAMSR -->
-<!ENTITY esim "&#8770;"><!-- u+2242 equals, similar ISOAMSR -->
-<!ENTITY fallingdotseq "&#8786;"><!-- u+2252 equals, falling dots MMALIAS efDot-->
-<!ENTITY fork "&#8916;"><!-- u+22D4 pitchfork ISOAMSR -->
-<!ENTITY forkv "&#58139;"><!-- u+E31B fork, variant ISOAMSR -->
-<!ENTITY frown "&#8994;"><!-- u+2322 down curve ISOAMSR -->
-<!ENTITY gap "&#8819;"><!-- u+2273 greater, approximate ISOAMSR -->
-<!ENTITY gE "&#8807;"><!-- u+2267 greater, double equals ISOAMSR -->
-<!ENTITY gEl "&#8923;"><!-- u+22DB gt, double equals, less ISOAMSR -->
-<!ENTITY gel "&#8923;"><!-- u+22DB greater, equals, less ISOAMSR -->
-<!ENTITY geqq "&#8807;"><!-- u+2267 greater, double equals MMALIAS gE-->
-<!ENTITY geqslant "&#58401;"><!-- u+E421 gt-or-equal, slanted MMALIAS ges-->
-<!ENTITY ges "&#58401;"><!-- u+E421 gt-or-equal, slanted ISOAMSR -->
-<!ENTITY gescc "&#58200;"><!-- u+E358 greater than, closed by curve, equal, slanted ISOAMSR -->
-<!ENTITY gesdot "&#58142;"><!-- u+E31E greater-than-or-equal, slanted, dot inside ISOAMSR -->
-<!ENTITY gesdoto "&#58144;"><!-- u+E320 greater-than-or-equal, slanted, dot above ISOAMSR -->
-<!ENTITY gesdotol "&#58146;"><!-- u+E322 greater-than-or-equal, slanted, dot above left ISOAMSR -->
-<!ENTITY gesl "&#58156;"><!-- u+E32C greater, equal, slanted, less ISOAMSR -->
-<!ENTITY gesles "&#58162;"><!-- u+E332 greater, equal, slanted, less, equal, slanted ISOAMSR -->
-<!ENTITY Gg "&#8921;"><!-- u+22D9 triple gtr-than ISOAMSR -->
-<!ENTITY gg "&#8811;"><!-- u+226B double greater-than sign MMALIAS Gt-->
-<!ENTITY ggg "&#8921;"><!-- u+22D9 triple gtr-than MMALIAS Gg-->
-<!ENTITY gl "&#8823;"><!-- u+2277 greater, less ISOAMSR -->
-<!ENTITY gla "&#58160;"><!-- u+E330 greater, less, apart ISOAMSR -->
-<!ENTITY glE "&#58158;"><!-- u+E32E greater, less, equal ISOAMSR -->
-<!ENTITY glj "&#58159;"><!-- u+E32F greater, less, overlapping ISOAMSR -->
-<!ENTITY GreaterEqualLess "&#8923;"><!-- u+22DB greater, equals, less MMALIAS gel-->
-<!ENTITY GreaterFullEqual "&#8807;"><!-- u+2267 greater, double equals MMALIAS gE-->
-<!ENTITY GreaterLess "&#8823;"><!-- u+2277 greater, less MMALIAS gl-->
-<!ENTITY GreaterSlantEqual "&#58401;"><!-- u+E421 gt-or-equal, slanted MMALIAS ges-->
-<!ENTITY GreaterTilde "&#8819;"><!-- u+2273 greater, similar MMALIAS gsim-->
-<!ENTITY gsim "&#8819;"><!-- u+2273 greater, similar ISOAMSR -->
-<!ENTITY gsime "&#58164;"><!-- u+E334 greater, similar, equal ISOAMSR -->
-<!ENTITY gsiml "&#58166;"><!-- u+E336 greater, similar, less ISOAMSR -->
-<!ENTITY Gt "&#8811;"><!-- u+226B double greater-than sign ISOAMSR -->
-<!ENTITY gtcc "&#58198;"><!-- u+E356 greater than, closed by curve ISOAMSR -->
-<!ENTITY gtcir "&#58150;"><!-- u+E326 greater than, circle inside ISOAMSR -->
-<!ENTITY gtdot "&#8919;"><!-- u+22D7 greater than, with dot ISOAMSR -->
-<!ENTITY gtquest "&#58154;"><!-- u+E32A greater than, questionmark above ISOAMSR -->
-<!ENTITY gtrapprox "&#8819;"><!-- u+2273 greater, approximate MMALIAS gap-->
-<!ENTITY gtrarr "&#58207;"><!-- u+E35F greater than, right arrow ISOAMSR -->
-<!ENTITY gtrdot "&#8919;"><!-- u+22D7 greater than, with dot MMALIAS gtdot-->
-<!ENTITY gtreqless "&#8923;"><!-- u+22DB greater, equals, less MMALIAS gel-->
-<!ENTITY gtreqqless "&#8923;"><!-- u+22DB gt, double equals, less MMALIAS gEl-->
-<!ENTITY gtrless "&#8823;"><!-- u+2277 greater, less MMALIAS gl-->
-<!ENTITY gtrsim "&#8819;"><!-- u+2273 greater, similar MMALIAS gsim-->
-<!ENTITY homtht "&#8763;"><!-- u+223B homothetic ISOAMSR -->
-<!ENTITY HumpDownHump "&#8782;"><!-- u+224E bumpy equals MMALIAS bump-->
-<!ENTITY HumpEqual "&#8783;"><!-- u+224F bumpy equals, equals MMALIAS bumpe-->
-<!ENTITY lap "&#8818;"><!-- u+2272 less, approximate ISOAMSR -->
-<!ENTITY lat "&#58170;"><!-- u+E33A larger than ISOAMSR -->
-<!ENTITY late "&#58172;"><!-- u+E33C larger than or equal ISOAMSR -->
-<!ENTITY lates "&#58174;"><!-- u+E33E larger than or equal, slanted ISOAMSR -->
-<!ENTITY lE "&#8806;"><!-- u+2266 less, double equals ISOAMSR -->
-<!ENTITY LeftTee "&#8867;"><!-- u+22A3 dash, vertical MMALIAS dashv-->
-<!ENTITY LeftTriangle "&#8882;"><!-- u+22B2 left triangle, open, variant MMALIAS vltri-->
-<!ENTITY LeftTriangleEqual "&#8884;"><!-- u+22B4 left triangle, equals MMALIAS ltrie-->
-<!ENTITY lEg "&#8922;"><!-- u+22DA less, double equals, greater ISOAMSR -->
-<!ENTITY leg "&#8922;"><!-- u+22DA less, equals, greater ISOAMSR -->
-<!ENTITY leqq "&#8806;"><!-- u+2266 less, double equals MMALIAS lE-->
-<!ENTITY leqslant "&#58405;"><!-- u+E425 less-than-or-equals, slant MMALIAS les-->
-<!ENTITY les "&#58405;"><!-- u+E425 less-than-or-equals, slant ISOAMSR -->
-<!ENTITY lescc "&#58199;"><!-- u+E357 less than, closed by curve, equal, slanted ISOAMSR -->
-<!ENTITY lesdot "&#58141;"><!-- u+E31D less-than-or-equal, slanted, dot inside ISOAMSR -->
-<!ENTITY lesdoto "&#58143;"><!-- u+E31F less-than-or-equal, slanted, dot above ISOAMSR -->
-<!ENTITY lesdotor "&#58145;"><!-- u+E321 less-than-or-equal, slanted, dot above right ISOAMSR -->
-<!ENTITY lesg "&#58155;"><!-- u+E32B less, equal, slanted, greater ISOAMSR -->
-<!ENTITY lesges "&#58161;"><!-- u+E331 less, equal, slanted, greater, equal, slanted ISOAMSR -->
-<!ENTITY lessapprox "&#8818;"><!-- u+2272 less, approximate MMALIAS lap-->
-<!ENTITY lessdot "&#8918;"><!-- u+22D6 less than, with dot MMALIAS ltdot-->
-<!ENTITY lesseqgtr "&#8922;"><!-- u+22DA less, equals, greater MMALIAS leg-->
-<!ENTITY lesseqqgtr "&#8922;"><!-- u+22DA less, double equals, greater MMALIAS lEg-->
-<!ENTITY LessEqualGreater "&#8922;"><!-- u+22DA less, equals, greater MMALIAS leg-->
-<!ENTITY LessFullEqual "&#8806;"><!-- u+2266 less, double equals MMALIAS lE-->
-<!ENTITY LessGreater "&#8822;"><!-- u+2276 less, greater MMALIAS lg-->
-<!ENTITY lessgtr "&#8822;"><!-- u+2276 less, greater MMALIAS lg-->
-<!ENTITY lesssim "&#8818;"><!-- u+2272 less, similar MMALIAS lsim-->
-<!ENTITY LessSlantEqual "&#58405;"><!-- u+E425 less-than-or-equals, slant MMALIAS les-->
-<!ENTITY LessTilde "&#8818;"><!-- u+2272 less, similar MMALIAS lsim-->
-<!ENTITY lg "&#8822;"><!-- u+2276 less, greater ISOAMSR -->
-<!ENTITY lgE "&#58157;"><!-- u+E32D less, greater, equal ISOAMSR -->
-<!ENTITY Ll "&#8920;"><!-- u+22D8 triple less-than ISOAMSR -->
-<!ENTITY ll "&#8810;"><!-- u+226A double less-than sign MMALIAS Lt-->
-<!ENTITY lsim "&#8818;"><!-- u+2272 less, similar ISOAMSR -->
-<!ENTITY lsime "&#58163;"><!-- u+E333 less, similar, equal ISOAMSR -->
-<!ENTITY lsimg "&#58165;"><!-- u+E335 less, similar, greater ISOAMSR -->
-<!ENTITY Lt "&#8810;"><!-- u+226A double less-than sign ISOAMSR -->
-<!ENTITY ltcc "&#58197;"><!-- u+E355 less than, closed by curve ISOAMSR -->
-<!ENTITY ltcir "&#58149;"><!-- u+E325 less than, circle inside ISOAMSR -->
-<!ENTITY ltdot "&#8918;"><!-- u+22D6 less than, with dot ISOAMSR -->
-<!ENTITY ltlarr "&#58206;"><!-- u+E35E less than, left arrow ISOAMSR -->
-<!ENTITY ltquest "&#58153;"><!-- u+E329 less than, questionmark above ISOAMSR -->
-<!ENTITY ltrie "&#8884;"><!-- u+22B4 left triangle, equals ISOAMSR -->
-<!ENTITY mcomma "&#58138;"><!-- u+E31A minus, comma above ISOAMSR -->
-<!ENTITY mDDot "&#8762;"><!-- u+223A minus with four dots, geometric properties ISOAMSR -->
-<!ENTITY mid "&#8739;"><!-- u+2223 mid ISOAMSR -->
-<!ENTITY mlcp "&#58122;"><!-- u+E30A transversal intersection ISOAMSR -->
-<!ENTITY models "&#8871;"><!-- u+22A7 models ISOAMSR -->
-<!ENTITY mstpos "&#8766;"><!-- u+223E most positive ISOAMSR -->
-<!ENTITY NestedGreaterGreater "&#8811;"><!-- u+226B double greater-than sign MMALIAS Gt-->
-<!ENTITY NestedLessLess "&#8810;"><!-- u+226A double less-than sign MMALIAS Lt-->
-<!ENTITY pitchfork "&#8916;"><!-- u+22D4 pitchfork MMALIAS fork-->
-<!ENTITY Pr "&#58204;"><!-- u+E35C double precedes ISOAMSR -->
-<!ENTITY pr "&#8826;"><!-- u+227A precedes ISOAMSR -->
-<!ENTITY prap "&#8830;"><!-- u+227E precedes, approximate ISOAMSR -->
-<!ENTITY prcue "&#8828;"><!-- u+227C precedes, curly equals ISOAMSR -->
-<!ENTITY prE "&#8828;"><!-- u+227C precedes, double equals ISOAMSR -->
-<!ENTITY pre "&#8828;"><!-- u+227C precedes, equals ISOAMSR -->
-<!ENTITY prec "&#8826;"><!-- u+227A precedes MMALIAS pr-->
-<!ENTITY precapprox "&#8830;"><!-- u+227E precedes, approximate MMALIAS prap-->
-<!ENTITY preccurlyeq "&#8828;"><!-- u+227C precedes, curly equals MMALIAS prcue-->
-<!ENTITY Precedes "&#8826;"><!-- u+227A precedes MMALIAS pr-->
-<!ENTITY PrecedesEqual "&#8828;"><!-- u+227C precedes, equals MMALIAS pre-->
-<!ENTITY PrecedesSlantEqual "&#8828;"><!-- u+227C precedes, curly equals MMALIAS prcue-->
-<!ENTITY PrecedesTilde "&#8830;"><!-- u+227E precedes, similar MMALIAS prsim-->
-<!ENTITY preceq "&#8828;"><!-- u+227C precedes, equals MMALIAS pre-->
-<!ENTITY precsim "&#8830;"><!-- u+227E precedes, similar MMALIAS prsim-->
-<!ENTITY Proportion "&#8759;"><!-- u+2237 /Colon, two colons MMALIAS Colon-->
-<!ENTITY prsim "&#8830;"><!-- u+227E precedes, similar ISOAMSR -->
-<!ENTITY prurel "&#8880;"><!-- u+22B0 element precedes under relation ISOAMSR -->
-<!ENTITY questeq "&#8799;"><!-- u+225F equal with questionmark MMALIAS equest-->
-<!ENTITY ratio "&#8758;"><!-- u+2236 ratio ISOAMSR -->
-<!ENTITY RightTee "&#8866;"><!-- u+22A2 vertical, dash MMALIAS vdash-->
-<!ENTITY RightTriangle "&#8883;"><!-- u+22B3 right triangle, open, variant MMALIAS vrtri-->
-<!ENTITY RightTriangleEqual "&#8885;"><!-- u+22B5 right triangle, equals MMALIAS rtrie-->
-<!ENTITY risingdotseq "&#8787;"><!-- u+2253 equals, rising dots MMALIAS erDot-->
-<!ENTITY rtrie "&#8885;"><!-- u+22B5 right triangle, equals ISOAMSR -->
-<!ENTITY rtriltri "&#58201;"><!-- u+E359 right triangle above left triangle ISOAMSR -->
-<!ENTITY Sc "&#58205;"><!-- u+E35D double succeeds ISOAMSR -->
-<!ENTITY sc "&#8827;"><!-- u+227B succeeds ISOAMSR -->
-<!ENTITY scap "&#8831;"><!-- u+227F succeeds, approximate ISOAMSR -->
-<!ENTITY sccue "&#8829;"><!-- u+227D succeeds, curly equals ISOAMSR -->
-<!ENTITY scE "&#8830;"><!-- u+227E succeeds, double equals ISOAMSR -->
-<!ENTITY sce "&#8829;"><!-- u+227D succeeds, equals ISOAMSR -->
-<!ENTITY scsim "&#8831;"><!-- u+227F succeeds, similar ISOAMSR -->
-<!ENTITY sdote "&#58137;"><!-- u+E319 equal, dot below ISOAMSR -->
-<!ENTITY sfrown "&#58406;"><!-- u+E426 small down curve ISOAMSR -->
-<!ENTITY shortmid "&#58113;"><!-- u+E301 shortmid MMALIAS smid-->
-<!ENTITY shortparallel "&#58114;"><!-- u+E302 short parallel MMALIAS spar-->
-<!ENTITY simg "&#58124;"><!-- u+E30C similar, greater ISOAMSR -->
-<!ENTITY simgE "&#58168;"><!-- u+E338 similar, greater, equal ISOAMSR -->
-<!ENTITY siml "&#58123;"><!-- u+E30B similar, less ISOAMSR -->
-<!ENTITY simlE "&#58167;"><!-- u+E337 similar, less, equal ISOAMSR -->
-<!ENTITY smallfrown "&#58406;"><!-- u+E426 small down curve MMALIAS sfrown-->
-<!ENTITY smallsmile "&#58115;"><!-- u+E303 small up curve MMALIAS ssmile-->
-<!ENTITY smid "&#58113;"><!-- u+E301 shortmid ISOAMSR -->
-<!ENTITY smile "&#8995;"><!-- u+2323 up curve ISOAMSR -->
-<!ENTITY smt "&#58169;"><!-- u+E339 smaller than ISOAMSR -->
-<!ENTITY smte "&#58171;"><!-- u+E33B smaller than or equal ISOAMSR -->
-<!ENTITY smtes "&#58173;"><!-- u+E33D smaller than or equal, slanted ISOAMSR -->
-<!ENTITY spar "&#58114;"><!-- u+E302 short parallel ISOAMSR -->
-<!ENTITY sqsub "&#8847;"><!-- u+228F square subset ISOAMSR -->
-<!ENTITY sqsube "&#8849;"><!-- u+2291 square subset, equals ISOAMSR -->
-<!ENTITY sqsubset "&#8847;"><!-- u+228F square subset MMALIAS sqsub-->
-<!ENTITY sqsubseteq "&#8849;"><!-- u+2291 square subset, equals MMALIAS sqsube-->
-<!ENTITY sqsup "&#8848;"><!-- u+2290 square superset ISOAMSR -->
-<!ENTITY sqsupe "&#8850;"><!-- u+2292 square superset, equals ISOAMSR -->
-<!ENTITY sqsupset "&#8848;"><!-- u+2290 square superset MMALIAS sqsup-->
-<!ENTITY sqsupseteq "&#8850;"><!-- u+2292 square superset, equals MMALIAS sqsupe-->
-<!ENTITY SquareSubset "&#8847;"><!-- u+228F square subset MMALIAS sqsub-->
-<!ENTITY SquareSubsetEqual "&#8849;"><!-- u+2291 square subset, equals MMALIAS sqsube-->
-<!ENTITY SquareSuperset "&#8848;"><!-- u+2290 square superset MMALIAS sqsup-->
-<!ENTITY SquareSupersetEqual "&#8850;"><!-- u+2292 square superset, equals MMALIAS sqsupe-->
-<!ENTITY ssmile "&#58115;"><!-- u+E303 small up curve ISOAMSR -->
-<!ENTITY Sub "&#8912;"><!-- u+22D0 double subset ISOAMSR -->
-<!ENTITY subE "&#8838;"><!-- u+2286 subset, double equals ISOAMSR -->
-<!ENTITY subedot "&#58191;"><!-- u+E34F subset, equals, dot ISOAMSR -->
-<!ENTITY submult "&#58179;"><!-- u+E343 subset, multiply ISOAMSR -->
-<!ENTITY subplus "&#58177;"><!-- u+E341 subset, plus ISOAMSR -->
-<!ENTITY subrarr "&#58175;"><!-- u+E33F subset, right arrow ISOAMSR -->
-<!--<!ENTITY Subset "&#8912;">-->
-<!-- u+22D0 double subset MMALIAS Sub-->
-<!ENTITY subseteqq "&#8838;"><!-- u+2286 subset, double equals MMALIAS subE-->
-<!ENTITY subsim "&#58181;"><!-- u+E345 subset, similar ISOAMSR -->
-<!ENTITY subsub "&#58185;"><!-- u+E349 subset above subset ISOAMSR -->
-<!ENTITY subsup "&#58183;"><!-- u+E347 subset above superset ISOAMSR -->
-<!ENTITY succ "&#8827;"><!-- u+227B succeeds MMALIAS sc-->
-<!ENTITY succapprox "&#8831;"><!-- u+227F succeeds, approximate MMALIAS scap-->
-<!ENTITY succcurlyeq "&#8829;"><!-- u+227D succeeds, curly equals MMALIAS sccue-->
-<!ENTITY Succeeds "&#8827;"><!-- u+227B succeeds MMALIAS sc-->
-<!ENTITY SucceedsEqual "&#8829;"><!-- u+227D succeeds, equals MMALIAS sce-->
-<!ENTITY SucceedsSlantEqual "&#8829;"><!-- u+227D succeeds, curly equals MMALIAS sccue-->
-<!ENTITY SucceedsTilde "&#8831;"><!-- u+227F succeeds, similar MMALIAS scsim-->
-<!ENTITY succeq "&#8829;"><!-- u+227D succeeds, equals MMALIAS sce-->
-<!ENTITY succsim "&#8831;"><!-- u+227F succeeds, similar MMALIAS scsim-->
-<!ENTITY Sup "&#8913;"><!-- u+22D1 double superset ISOAMSR -->
-<!ENTITY supdsub "&#58188;"><!-- u+E34C superset, subset, dash joining them ISOAMSR -->
-<!ENTITY supE "&#8839;"><!-- u+2287 superset, double equals ISOAMSR -->
-<!ENTITY supedot "&#58192;"><!-- u+E350 superset, equals, dot ISOAMSR -->
-<!ENTITY suphsol "&#58190;"><!-- u+E34E superset, solidus ISOAMSR -->
-<!ENTITY suphsub "&#58187;"><!-- u+E34B superset, subset ISOAMSR -->
-<!ENTITY suplarr "&#58176;"><!-- u+E340 superset, left arrow ISOAMSR -->
-<!ENTITY supmult "&#58180;"><!-- u+E344 superset, multiply ISOAMSR -->
-<!ENTITY supplus "&#58178;"><!-- u+E342 superset, plus ISOAMSR -->
-<!ENTITY Supset "&#8913;"><!-- u+22D1 double superset MMALIAS Sup-->
-<!ENTITY supseteqq "&#8839;"><!-- u+2287 superset, double equals MMALIAS supE-->
-<!ENTITY supsim "&#58182;"><!-- u+E346 superset, similar ISOAMSR -->
-<!ENTITY supsub "&#58184;"><!-- u+E348 superset above subset ISOAMSR -->
-<!ENTITY supsup "&#58186;"><!-- u+E34A superset above superset ISOAMSR -->
-<!ENTITY thickapprox "&#58118;"><!-- u+E306 thick approximate MMALIAS thkap-->
-<!ENTITY thicksim "&#58409;"><!-- u+E429 thick similar MMALIAS thksim-->
-<!ENTITY thkap "&#58118;"><!-- u+E306 thick approximate ISOAMSR -->
-<!ENTITY thksim "&#58409;"><!-- u+E429 thick similar ISOAMSR -->
-<!ENTITY topfork "&#58140;"><!-- u+E31C fork with top ISOAMSR -->
-<!ENTITY trianglelefteq "&#8884;"><!-- u+22B4 left triangle, equals MMALIAS ltrie-->
-<!ENTITY triangleq "&#8796;"><!-- u+225C triangle, equals MMALIAS trie-->
-<!ENTITY trianglerighteq "&#8885;"><!-- u+22B5 right triangle, equals MMALIAS rtrie-->
-<!ENTITY trie "&#8796;"><!-- u+225C triangle, equals ISOAMSR -->
-<!ENTITY twixt "&#8812;"><!-- u+226C between ISOAMSR -->
-<!ENTITY varpropto "&#8733;"><!-- u+221D proportional, variant MMALIAS vprop-->
-<!ENTITY vartriangleleft "&#8882;"><!-- u+22B2 left triangle, open, variant MMALIAS vltri-->
-<!ENTITY vartriangleright "&#8883;"><!-- u+22B3 right triangle, open, variant MMALIAS vrtri-->
-<!ENTITY Vbar "&#58125;"><!-- u+E30D double vert, bar (under) ISOAMSR -->
-<!ENTITY vBar "&#58128;"><!-- u+E310 vert, double bar (under) ISOAMSR -->
-<!ENTITY vBarv "&#58130;"><!-- u+E312 double bar, vert over and under ISOAMSR -->
-<!ENTITY VDash "&#8875;"><!-- u+22AB double vert, double dash ISOAMSR -->
-<!ENTITY Vdash "&#8873;"><!-- u+22A9 double vertical, dash ISOAMSR -->
-<!ENTITY vDash "&#8872;"><!-- u+22A8 vertical, double dash ISOAMSR -->
-<!ENTITY vdash "&#8866;"><!-- u+22A2 vertical, dash ISOAMSR -->
-<!ENTITY Vdashl "&#58131;"><!-- u+E313 vertical, dash (long) ISOAMSR -->
-<!ENTITY VerticalBar "&#8739;"><!-- u+2223 mid MMALIAS mid-->
-<!ENTITY vltri "&#8882;"><!-- u+22B2 left triangle, open, variant ISOAMSR -->
-<!ENTITY vprop "&#8733;"><!-- u+221D proportional, variant ISOAMSR -->
-<!ENTITY vrtri "&#8883;"><!-- u+22B3 right triangle, open, variant ISOAMSR -->
-<!ENTITY Vvdash "&#8874;"><!-- u+22AA triple vertical, dash ISOAMSR -->