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, 0 insertions, 183 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
deleted file mode 100644
index 06a3a32437f..00000000000
--- a/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsbe.dtd
+++ /dev/null
@@ -1,183 +0,0 @@
-
-<!--
- 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 -->