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, 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 "&#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 -->