summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsbe.dtd
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsbe.dtd')
-rw-r--r--Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsbe.dtd183
1 files changed, 183 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsbe.dtd b/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsbe.dtd
new file mode 100644
index 00000000000..06a3a32437f
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsbe.dtd
@@ -0,0 +1,183 @@
+
+<!--
+ ISOAMSB Characters alphabetically
+ Added Math Symbols: Binary Operators Extended by MathML with aliases
+
+ Converted from HTML table at
+ http://www.w3.org/TR/REC-MathML-19980407/chap6/ISOAMSBe1.html
+
+ Copyright 1998 Nag Ltd, The OpenMath Consortium. Esprit Project 24.969.
+-->
+
+<!ENTITY ac "&#57863;"><!-- u+E207 most positive ISOAMSB -->
+<!ENTITY acE "&#58000;"><!-- u+E290 most positive, two lines below ISOAMSB -->
+<!ENTITY amalg "&#57937;"><!-- u+E251 amalgamation or coproduct ISOAMSB -->
+<!ENTITY ast "&#0042;"><!-- u+002A centered asterisk MMALIAS midast-->
+<!ENTITY Backslash "&#8726;"><!-- u+2216 reverse solidus MMALIAS setmn-->
+<!ENTITY barvee "&#8893;"><!-- u+22BD bar, vee ISOAMSB -->
+<!ENTITY Barwed "&#8966;"><!-- u+2306 logical and, double bar above ISOAMSB -->
+<!ENTITY barwed "&#8892;"><!-- u+22BC logical and, bar above ISOAMSB -->
+<!ENTITY barwedge "&#8892;"><!-- u+22BC logical and, bar above MMALIAS barwed-->
+<!ENTITY bigcap "&#8898;"><!-- u+22C2 intersection operator MMALIAS xcap-->
+<!ENTITY bigcirc "&#9943;"><!-- u+25EF large circle MMALIAS xcirc-->
+<!ENTITY bigcup "&#8899;"><!-- u+22C3 union operator MMALIAS xcup-->
+<!ENTITY bigodot "&#8857;"><!-- u+2299 circle dot operator MMALIAS xodot-->
+<!ENTITY bigoplus "&#8853;"><!-- u+2295 circle plus operator MMALIAS xoplus-->
+<!ENTITY bigotimes "&#8855;"><!-- u+2297 circle times operator MMALIAS xotime-->
+<!ENTITY bigsqcup "&#8852;"><!-- u+2294 square union operator MMALIAS xsqcup-->
+<!ENTITY bigtriangledown "&#9661;"><!-- u+25BD big down triangle, open MMALIAS xdtri-->
+<!ENTITY bigtriangleup "&#9651;"><!-- u+25B3 big up triangle, open MMALIAS xutri-->
+<!ENTITY biguplus "&#8846;"><!-- u+228E biguplus MMALIAS xuplus-->
+<!ENTITY bigvee "&#8897;"><!-- u+22C1 logical and operator MMALIAS xvee-->
+<!ENTITY bigwedge "&#8896;"><!-- u+22C0 logical or operator MMALIAS xwedge-->
+<!ENTITY boxminus "&#8863;"><!-- u+229F minus sign in box MMALIAS minusb-->
+<!ENTITY boxplus "&#8862;"><!-- u+229E plus sign in box MMALIAS plusb-->
+<!ENTITY boxtimes "&#8864;"><!-- u+22A0 multiply sign in box MMALIAS timesb-->
+<!ENTITY bsolb "&#57984;"><!-- u+E280 reverse solidus in square ISOAMSB -->
+<!ENTITY Cap "&#8914;"><!-- u+22D2 double intersection ISOAMSB -->
+<!ENTITY capand "&#57985;"><!-- u+E281 intersection, and ISOAMSB -->
+<!ENTITY capbrcup "&#57969;"><!-- u+E271 intersection, bar, union ISOAMSB -->
+<!ENTITY capcap "&#57971;"><!-- u+E273 intersection, intersection, joined ISOAMSB -->
+<!ENTITY capcup "&#57967;"><!-- u+E26F intersection above union ISOAMSB -->
+<!ENTITY capdot "&#57953;"><!-- u+E261 intersection, with dot ISOAMSB -->
+<!ENTITY caps "&#57973;"><!-- u+E275 intersection, serifs ISOAMSB -->
+<!ENTITY ccaps "&#57977;"><!-- u+E279 closed intersection, serifs ISOAMSB -->
+<!ENTITY ccups "&#57976;"><!-- u+E278 closed union, serifs ISOAMSB -->
+<!ENTITY ccupssm "&#57978;"><!-- u+E27A closed union, serifs, smash product ISOAMSB -->
+<!ENTITY circledast "&#8859;"><!-- u+229B asterisk in circle MMALIAS oast-->
+<!ENTITY circledcirc "&#8858;"><!-- u+229A small circle in circle MMALIAS ocir-->
+<!ENTITY circleddash "&#8861;"><!-- u+229D hyphen in circle MMALIAS odash-->
+<!ENTITY CircleDot "&#8857;"><!-- u+2299 middle dot in circle MMALIAS odot-->
+<!ENTITY CircleMinus "&#8854;"><!-- u+2296 minus sign in circle MMALIAS ominus-->
+<!ENTITY CirclePlus "&#8853;"><!-- u+2295 plus sign in circle MMALIAS oplus-->
+<!ENTITY CircleTimes "&#8855;"><!-- u+2297 multiply sign in circle MMALIAS otimes-->
+<!ENTITY coprod "&#8720;"><!-- u+2210 coproduct operator ISOAMSB -->
+<!ENTITY Coproduct "&#8720;"><!-- u+2210 coproduct operator MMALIAS coprod-->
+<!ENTITY Cup "&#8915;"><!-- u+22D3 double union ISOAMSB -->
+<!ENTITY cupbrcap "&#57968;"><!-- u+E270 union, bar, intersection ISOAMSB -->
+<!ENTITY cupcap "&#57966;"><!-- u+E26E union above intersection ISOAMSB -->
+<!ENTITY cupcup "&#57970;"><!-- u+E272 union, union, joined ISOAMSB -->
+<!ENTITY cupdot "&#8845;"><!-- u+228D union, with dot ISOAMSB -->
+<!ENTITY cupor "&#57986;"><!-- u+E282 union, or ISOAMSB -->
+<!ENTITY cups "&#57972;"><!-- u+E274 union, serifs ISOAMSB -->
+<!ENTITY curlyvee "&#8910;"><!-- u+22CE curly logical or MMALIAS cuvee-->
+<!ENTITY curlywedge "&#8911;"><!-- u+22CF curly logical and MMALIAS cuwed-->
+<!ENTITY cuvee "&#8910;"><!-- u+22CE curly logical or ISOAMSB -->
+<!ENTITY cuwed "&#8911;"><!-- u+22CF curly logical and ISOAMSB -->
+<!ENTITY Dagger "&#8225;"><!-- u+2021 double dagger relation ISOAMSB -->
+<!ENTITY dagger "&#8224;"><!-- u+2020 dagger relation ISOAMSB -->
+<!ENTITY ddagger "&#8225;"><!-- u+2021 double dagger relation MMALIAS Dagger-->
+<!ENTITY diam "&#8900;"><!-- u+22C4 open diamond ISOAMSB -->
+<!ENTITY diamond "&#8900;"><!-- u+22C4 open diamond MMALIAS diam-->
+<!ENTITY divideontimes "&#8903;"><!-- u+22C7 division on times MMALIAS divonx-->
+<!ENTITY divonx "&#8903;"><!-- u+22C7 division on times ISOAMSB -->
+<!ENTITY dotminus "&#8760;"><!-- u+2238 minus sign, dot above MMALIAS minusd-->
+<!ENTITY dotplus "&#8724;"><!-- u+2214 plus sign, dot above MMALIAS plusdo-->
+<!ENTITY dotsquare "&#8865;"><!-- u+22A1 small dot in box MMALIAS sdotb-->
+<!ENTITY doublebarwedge "&#8966;"><!-- u+2306 logical and, double bar above MMALIAS Barwed-->
+<!ENTITY eplus "&#57960;"><!-- u+E268 equal, plus ISOAMSB -->
+<!ENTITY hercon "&#8889;"><!-- u+22B9 hermitian conjugate matrix ISOAMSB -->
+<!ENTITY intcal "&#8890;"><!-- u+22BA intercal ISOAMSB -->
+<!ENTITY intercal "&#8890;"><!-- u+22BA intercal MMALIAS intcal-->
+<!ENTITY Intersection "&#8898;"><!-- u+22C2 intersection operator MMALIAS xcap-->
+<!ENTITY intprod "&#57945;"><!-- u+E259 interior product MMALIAS iprod-->
+<!ENTITY iprod "&#57945;"><!-- u+E259 interior product ISOAMSB -->
+<!ENTITY leftthreetimes "&#8907;"><!-- u+22CB leftthreetimes MMALIAS lthree-->
+<!ENTITY loplus "&#57948;"><!-- u+E25C plus sign in left half circle ISOAMSB -->
+<!ENTITY lotimes "&#57950;"><!-- u+E25E multiply sign in left half circle ISOAMSB -->
+<!ENTITY lthree "&#8907;"><!-- u+22CB leftthreetimes ISOAMSB -->
+<!ENTITY ltimes "&#8905;"><!-- u+22C9 times sign, left closed ISOAMSB -->
+<!ENTITY midast "&#8727;"><!-- u+2217 centered asterisk ISOAMSB -->
+<!ENTITY minusb "&#8863;"><!-- u+229F minus sign in box ISOAMSB -->
+<!ENTITY minusd "&#8760;"><!-- u+2238 minus sign, dot above ISOAMSB -->
+<!ENTITY minusdu "&#57947;"><!-- u+E25B minus sign, dot below ISOAMSB -->
+<!ENTITY ncap "&#57988;"><!-- u+E284 bar, intersection ISOAMSB -->
+<!ENTITY ncup "&#57987;"><!-- u+E283 bar, union ISOAMSB -->
+<!ENTITY oast "&#8859;"><!-- u+229B asterisk in circle ISOAMSB -->
+<!ENTITY ocir "&#8858;"><!-- u+229A small circle in circle ISOAMSB -->
+<!ENTITY odash "&#8861;"><!-- u+229D hyphen in circle ISOAMSB -->
+<!ENTITY odiv "&#57989;"><!-- u+E285 divide in circle ISOAMSB -->
+<!ENTITY odot "&#8857;"><!-- u+2299 middle dot in circle ISOAMSB -->
+<!ENTITY odsold "&#57990;"><!-- u+E286 dot, solidus, dot in circle ISOAMSB -->
+<!ENTITY ofcir "&#57991;"><!-- u+E287 filled circle in circle ISOAMSB -->
+<!ENTITY ogt "&#57993;"><!-- u+E289 greater-than in circle ISOAMSB -->
+<!ENTITY ohbar "&#57952;"><!-- u+E260 circle with horizontal bar ISOAMSB -->
+<!ENTITY olcir "&#58377;"><!-- u+E409 large circle in circle ISOAMSB -->
+<!ENTITY olt "&#57992;"><!-- u+E288 less-than in circle ISOAMSB -->
+<!ENTITY omid "&#58378;"><!-- u+E40A vertical bar in circle ISOAMSB -->
+<!ENTITY ominus "&#8854;"><!-- u+2296 minus sign in circle ISOAMSB -->
+<!ENTITY opar "&#57994;"><!-- u+E28A parallel in circle ISOAMSB -->
+<!ENTITY operp "&#57995;"><!-- u+E28B perpendicular in circle ISOAMSB -->
+<!ENTITY oplus "&#8853;"><!-- u+2295 plus sign in circle ISOAMSB -->
+<!ENTITY oslash "&#8856;"><!-- u+2298 solidus in circle MMALIAS osol-->
+<!ENTITY osol "&#8856;"><!-- u+2298 solidus in circle ISOAMSB -->
+<!ENTITY Otimes "&#57996;"><!-- u+E28C multiply sign in double circle ISOAMSB -->
+<!ENTITY otimes "&#8855;"><!-- u+2297 multiply sign in circle ISOAMSB -->
+<!ENTITY otimesas "&#57997;"><!-- u+E28D multiply sign in circle, circumflex accent ISOAMSB -->
+<!ENTITY ovbar "&#58379;"><!-- u+E40B circle with vertical bar ISOAMSB -->
+<!ENTITY plusacir "&#57962;"><!-- u+E26A plus, circumflex accent above ISOAMSB -->
+<!ENTITY plusb "&#8862;"><!-- u+229E plus sign in box ISOAMSB -->
+<!ENTITY pluscir "&#57958;"><!-- u+E266 plus, small circle above ISOAMSB -->
+<!ENTITY plusdo "&#8724;"><!-- u+2214 plus sign, dot above ISOAMSB -->
+<!ENTITY plusdu "&#57946;"><!-- u+E25A plus sign, dot below ISOAMSB -->
+<!ENTITY pluse "&#57959;"><!-- u+E267 plus, equals ISOAMSB -->
+<!ENTITY plussim "&#57964;"><!-- u+E26C plus, similar below ISOAMSB -->
+<!ENTITY plustwo "&#57961;"><!-- u+E269 plus, two; Nim-addition ISOAMSB -->
+<!ENTITY race "&#58380;"><!-- u+E40C reverse most positive, line below ISOAMSB -->
+<!ENTITY rightthreetimes "&#8908;"><!-- u+22CC rightthreetimes MMALIAS rthree-->
+<!ENTITY roplus "&#57949;"><!-- u+E25D plus sign in right half circle ISOAMSB -->
+<!ENTITY rotimes "&#58381;"><!-- u+E40D multiply sign in right half circle ISOAMSB -->
+<!ENTITY rthree "&#8908;"><!-- u+22CC rightthreetimes ISOAMSB -->
+<!ENTITY rtimes "&#8906;"><!-- u+22CA times sign, right closed ISOAMSB -->
+<!ENTITY sdot "&#8901;"><!-- u+22C5 small middle dot ISOAMSB -->
+<!ENTITY sdotb "&#8865;"><!-- u+22A1 small dot in box ISOAMSB -->
+<!ENTITY setminus "&#8726;"><!-- u+2216 reverse solidus MMALIAS setmn-->
+<!ENTITY setmn "&#8726;"><!-- u+2216 reverse solidus ISOAMSB -->
+<!ENTITY simplus "&#57963;"><!-- u+E26B plus, similar above ISOAMSB -->
+<!ENTITY smallsetminus "&#59460;"><!-- u+E844 sm reverse solidus MMALIAS ssetmn-->
+<!ENTITY smashp "&#57956;"><!-- u+E264 smash product ISOAMSB -->
+<!ENTITY solb "&#57983;"><!-- u+E27F solidus in square ISOAMSB -->
+<!ENTITY sqcap "&#8851;"><!-- u+2293 square intersection ISOAMSB -->
+<!ENTITY sqcaps "&#57975;"><!-- u+E277 square intersection, serifs ISOAMSB -->
+<!ENTITY sqcup "&#8852;"><!-- u+2294 square union ISOAMSB -->
+<!ENTITY sqcups "&#57974;"><!-- u+E276 square union, serifs ISOAMSB -->
+<!ENTITY SquareIntersection "&#8851;"><!-- u+2293 square intersection MMALIAS sqcap-->
+<!ENTITY SquareUnion "&#8852;"><!-- u+2294 square union MMALIAS sqcup-->
+<!ENTITY ssetmn "&#59460;"><!-- u+E844 sm reverse solidus ISOAMSB -->
+<!ENTITY sstarf "&#8902;"><!-- u+22C6 small star, filled, low ISOAMSB -->
+<!ENTITY Star "&#8902;"><!-- u+22C6 small star, filled, low MMALIAS sstarf-->
+<!ENTITY star "&#8902;"><!-- u+22C6 small star, filled, low MMALIAS sstarf-->
+<!ENTITY subdot "&#57954;"><!-- u+E262 subset, with dot ISOAMSB -->
+<!ENTITY Sum "&#8721;"><!-- u+2211 summation operator MMALIAS sum-->
+<!ENTITY sum "&#8721;"><!-- u+2211 summation operator ISOAMSB -->
+<!ENTITY supdot "&#57955;"><!-- u+E263 superset, with dot ISOAMSB -->
+<!ENTITY timesb "&#8864;"><!-- u+22A0 multiply sign in box ISOAMSB -->
+<!ENTITY timesbar "&#57998;"><!-- u+E28E multiply sign, bar below ISOAMSB -->
+<!ENTITY timesd "&#57965;"><!-- u+E26D times, dot ISOAMSB -->
+<!ENTITY tridot "&#9708;"><!-- u+25EC dot in triangle ISOAMSB -->
+<!ENTITY triminus "&#57980;"><!-- u+E27C minus in triangle ISOAMSB -->
+<!ENTITY triplus "&#57979;"><!-- u+E27B plus in triangle ISOAMSB -->
+<!ENTITY trisb "&#57982;"><!-- u+E27E triangle, serifs at bottom ISOAMSB -->
+<!ENTITY tritime "&#57981;"><!-- u+E27D multiply in triangle ISOAMSB -->
+<!ENTITY Union "&#8899;"><!-- u+22C3 union operator MMALIAS xcup-->
+<!ENTITY UnionPlus "&#8846;"><!-- u+228E plus sign in union MMALIAS uplus-->
+<!ENTITY uplus "&#8846;"><!-- u+228E plus sign in union ISOAMSB -->
+<!ENTITY Vee "&#8897;"><!-- u+22C1 logical and operator MMALIAS xvee-->
+<!ENTITY veebar "&#8891;"><!-- u+22BB logical or, bar below ISOAMSB -->
+<!ENTITY VerticalTilde "&#8768;"><!-- u+2240 wreath product MMALIAS wreath-->
+<!ENTITY wedbar "&#57957;"><!-- u+E265 wedge, bar below ISOAMSB -->
+<!ENTITY Wedge "&#8896;"><!-- u+22C0 logical or operator MMALIAS xwedge-->
+<!ENTITY wr "&#8768;"><!-- u+2240 wreath product MMALIAS wreath-->
+<!ENTITY wreath "&#8768;"><!-- u+2240 wreath product ISOAMSB -->
+<!ENTITY xcap "&#8898;"><!-- u+22C2 intersection operator ISOAMSB -->
+<!ENTITY xcirc "&#9943;"><!-- u+25EF large circle ISOAMSB -->
+<!ENTITY xcup "&#8899;"><!-- u+22C3 union operator ISOAMSB -->
+<!ENTITY xdtri "&#9661;"><!-- u+25BD big down triangle, open ISOAMSB -->
+<!ENTITY xodot "&#8857;"><!-- u+2299 circle dot operator ISOAMSB -->
+<!ENTITY xoplus "&#8853;"><!-- u+2295 circle plus operator ISOAMSB -->
+<!ENTITY xotime "&#8855;"><!-- u+2297 circle times operator ISOAMSB -->
+<!ENTITY xsqcup "&#8852;"><!-- u+2294 square union operator ISOAMSB -->
+<!ENTITY xuplus "&#8846;"><!-- u+228E biguplus ISOAMSB -->
+<!ENTITY xutri "&#9651;"><!-- u+25B3 big up triangle, open ISOAMSB -->
+<!ENTITY xvee "&#8897;"><!-- u+22C1 logical and operator ISOAMSB -->
+<!ENTITY xwedge "&#8896;"><!-- u+22C0 logical or operator ISOAMSB -->