diff options
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.dtd | 183 |
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 ""><!-- u+E207 most positive ISOAMSB --> +<!ENTITY acE ""><!-- u+E290 most positive, two lines below ISOAMSB --> +<!ENTITY amalg ""><!-- u+E251 amalgamation or coproduct ISOAMSB --> +<!ENTITY ast "*"><!-- u+002A centered asterisk MMALIAS midast--> +<!ENTITY Backslash "∖"><!-- u+2216 reverse solidus MMALIAS setmn--> +<!ENTITY barvee "⊽"><!-- u+22BD bar, vee ISOAMSB --> +<!ENTITY Barwed "⌆"><!-- u+2306 logical and, double bar above ISOAMSB --> +<!ENTITY barwed "⊼"><!-- u+22BC logical and, bar above ISOAMSB --> +<!ENTITY barwedge "⊼"><!-- u+22BC logical and, bar above MMALIAS barwed--> +<!ENTITY bigcap "⋂"><!-- u+22C2 intersection operator MMALIAS xcap--> +<!ENTITY bigcirc "⛗"><!-- u+25EF large circle MMALIAS xcirc--> +<!ENTITY bigcup "⋃"><!-- u+22C3 union operator MMALIAS xcup--> +<!ENTITY bigodot "⊙"><!-- u+2299 circle dot operator MMALIAS xodot--> +<!ENTITY bigoplus "⊕"><!-- u+2295 circle plus operator MMALIAS xoplus--> +<!ENTITY bigotimes "⊗"><!-- u+2297 circle times operator MMALIAS xotime--> +<!ENTITY bigsqcup "⊔"><!-- u+2294 square union operator MMALIAS xsqcup--> +<!ENTITY bigtriangledown "▽"><!-- u+25BD big down triangle, open MMALIAS xdtri--> +<!ENTITY bigtriangleup "△"><!-- u+25B3 big up triangle, open MMALIAS xutri--> +<!ENTITY biguplus "⊎"><!-- u+228E biguplus MMALIAS xuplus--> +<!ENTITY bigvee "⋁"><!-- u+22C1 logical and operator MMALIAS xvee--> +<!ENTITY bigwedge "⋀"><!-- u+22C0 logical or operator MMALIAS xwedge--> +<!ENTITY boxminus "⊟"><!-- u+229F minus sign in box MMALIAS minusb--> +<!ENTITY boxplus "⊞"><!-- u+229E plus sign in box MMALIAS plusb--> +<!ENTITY boxtimes "⊠"><!-- u+22A0 multiply sign in box MMALIAS timesb--> +<!ENTITY bsolb ""><!-- u+E280 reverse solidus in square ISOAMSB --> +<!ENTITY Cap "⋒"><!-- u+22D2 double intersection ISOAMSB --> +<!ENTITY capand ""><!-- u+E281 intersection, and ISOAMSB --> +<!ENTITY capbrcup ""><!-- u+E271 intersection, bar, union ISOAMSB --> +<!ENTITY capcap ""><!-- u+E273 intersection, intersection, joined ISOAMSB --> +<!ENTITY capcup ""><!-- u+E26F intersection above union ISOAMSB --> +<!ENTITY capdot ""><!-- u+E261 intersection, with dot ISOAMSB --> +<!ENTITY caps ""><!-- u+E275 intersection, serifs ISOAMSB --> +<!ENTITY ccaps ""><!-- u+E279 closed intersection, serifs ISOAMSB --> +<!ENTITY ccups ""><!-- u+E278 closed union, serifs ISOAMSB --> +<!ENTITY ccupssm ""><!-- u+E27A closed union, serifs, smash product ISOAMSB --> +<!ENTITY circledast "⊛"><!-- u+229B asterisk in circle MMALIAS oast--> +<!ENTITY circledcirc "⊚"><!-- u+229A small circle in circle MMALIAS ocir--> +<!ENTITY circleddash "⊝"><!-- u+229D hyphen in circle MMALIAS odash--> +<!ENTITY CircleDot "⊙"><!-- u+2299 middle dot in circle MMALIAS odot--> +<!ENTITY CircleMinus "⊖"><!-- u+2296 minus sign in circle MMALIAS ominus--> +<!ENTITY CirclePlus "⊕"><!-- u+2295 plus sign in circle MMALIAS oplus--> +<!ENTITY CircleTimes "⊗"><!-- u+2297 multiply sign in circle MMALIAS otimes--> +<!ENTITY coprod "∐"><!-- u+2210 coproduct operator ISOAMSB --> +<!ENTITY Coproduct "∐"><!-- u+2210 coproduct operator MMALIAS coprod--> +<!ENTITY Cup "⋓"><!-- u+22D3 double union ISOAMSB --> +<!ENTITY cupbrcap ""><!-- u+E270 union, bar, intersection ISOAMSB --> +<!ENTITY cupcap ""><!-- u+E26E union above intersection ISOAMSB --> +<!ENTITY cupcup ""><!-- u+E272 union, union, joined ISOAMSB --> +<!ENTITY cupdot "⊍"><!-- u+228D union, with dot ISOAMSB --> +<!ENTITY cupor ""><!-- u+E282 union, or ISOAMSB --> +<!ENTITY cups ""><!-- u+E274 union, serifs ISOAMSB --> +<!ENTITY curlyvee "⋎"><!-- u+22CE curly logical or MMALIAS cuvee--> +<!ENTITY curlywedge "⋏"><!-- u+22CF curly logical and MMALIAS cuwed--> +<!ENTITY cuvee "⋎"><!-- u+22CE curly logical or ISOAMSB --> +<!ENTITY cuwed "⋏"><!-- u+22CF curly logical and ISOAMSB --> +<!ENTITY Dagger "‡"><!-- u+2021 double dagger relation ISOAMSB --> +<!ENTITY dagger "†"><!-- u+2020 dagger relation ISOAMSB --> +<!ENTITY ddagger "‡"><!-- u+2021 double dagger relation MMALIAS Dagger--> +<!ENTITY diam "⋄"><!-- u+22C4 open diamond ISOAMSB --> +<!ENTITY diamond "⋄"><!-- u+22C4 open diamond MMALIAS diam--> +<!ENTITY divideontimes "⋇"><!-- u+22C7 division on times MMALIAS divonx--> +<!ENTITY divonx "⋇"><!-- u+22C7 division on times ISOAMSB --> +<!ENTITY dotminus "∸"><!-- u+2238 minus sign, dot above MMALIAS minusd--> +<!ENTITY dotplus "∔"><!-- u+2214 plus sign, dot above MMALIAS plusdo--> +<!ENTITY dotsquare "⊡"><!-- u+22A1 small dot in box MMALIAS sdotb--> +<!ENTITY doublebarwedge "⌆"><!-- u+2306 logical and, double bar above MMALIAS Barwed--> +<!ENTITY eplus ""><!-- u+E268 equal, plus ISOAMSB --> +<!ENTITY hercon "⊹"><!-- u+22B9 hermitian conjugate matrix ISOAMSB --> +<!ENTITY intcal "⊺"><!-- u+22BA intercal ISOAMSB --> +<!ENTITY intercal "⊺"><!-- u+22BA intercal MMALIAS intcal--> +<!ENTITY Intersection "⋂"><!-- u+22C2 intersection operator MMALIAS xcap--> +<!ENTITY intprod ""><!-- u+E259 interior product MMALIAS iprod--> +<!ENTITY iprod ""><!-- u+E259 interior product ISOAMSB --> +<!ENTITY leftthreetimes "⋋"><!-- u+22CB leftthreetimes MMALIAS lthree--> +<!ENTITY loplus ""><!-- u+E25C plus sign in left half circle ISOAMSB --> +<!ENTITY lotimes ""><!-- u+E25E multiply sign in left half circle ISOAMSB --> +<!ENTITY lthree "⋋"><!-- u+22CB leftthreetimes ISOAMSB --> +<!ENTITY ltimes "⋉"><!-- u+22C9 times sign, left closed ISOAMSB --> +<!ENTITY midast "∗"><!-- u+2217 centered asterisk ISOAMSB --> +<!ENTITY minusb "⊟"><!-- u+229F minus sign in box ISOAMSB --> +<!ENTITY minusd "∸"><!-- u+2238 minus sign, dot above ISOAMSB --> +<!ENTITY minusdu ""><!-- u+E25B minus sign, dot below ISOAMSB --> +<!ENTITY ncap ""><!-- u+E284 bar, intersection ISOAMSB --> +<!ENTITY ncup ""><!-- u+E283 bar, union ISOAMSB --> +<!ENTITY oast "⊛"><!-- u+229B asterisk in circle ISOAMSB --> +<!ENTITY ocir "⊚"><!-- u+229A small circle in circle ISOAMSB --> +<!ENTITY odash "⊝"><!-- u+229D hyphen in circle ISOAMSB --> +<!ENTITY odiv ""><!-- u+E285 divide in circle ISOAMSB --> +<!ENTITY odot "⊙"><!-- u+2299 middle dot in circle ISOAMSB --> +<!ENTITY odsold ""><!-- u+E286 dot, solidus, dot in circle ISOAMSB --> +<!ENTITY ofcir ""><!-- u+E287 filled circle in circle ISOAMSB --> +<!ENTITY ogt ""><!-- u+E289 greater-than in circle ISOAMSB --> +<!ENTITY ohbar ""><!-- u+E260 circle with horizontal bar ISOAMSB --> +<!ENTITY olcir ""><!-- u+E409 large circle in circle ISOAMSB --> +<!ENTITY olt ""><!-- u+E288 less-than in circle ISOAMSB --> +<!ENTITY omid ""><!-- u+E40A vertical bar in circle ISOAMSB --> +<!ENTITY ominus "⊖"><!-- u+2296 minus sign in circle ISOAMSB --> +<!ENTITY opar ""><!-- u+E28A parallel in circle ISOAMSB --> +<!ENTITY operp ""><!-- u+E28B perpendicular in circle ISOAMSB --> +<!ENTITY oplus "⊕"><!-- u+2295 plus sign in circle ISOAMSB --> +<!ENTITY oslash "⊘"><!-- u+2298 solidus in circle MMALIAS osol--> +<!ENTITY osol "⊘"><!-- u+2298 solidus in circle ISOAMSB --> +<!ENTITY Otimes ""><!-- u+E28C multiply sign in double circle ISOAMSB --> +<!ENTITY otimes "⊗"><!-- u+2297 multiply sign in circle ISOAMSB --> +<!ENTITY otimesas ""><!-- u+E28D multiply sign in circle, circumflex accent ISOAMSB --> +<!ENTITY ovbar ""><!-- u+E40B circle with vertical bar ISOAMSB --> +<!ENTITY plusacir ""><!-- u+E26A plus, circumflex accent above ISOAMSB --> +<!ENTITY plusb "⊞"><!-- u+229E plus sign in box ISOAMSB --> +<!ENTITY pluscir ""><!-- u+E266 plus, small circle above ISOAMSB --> +<!ENTITY plusdo "∔"><!-- u+2214 plus sign, dot above ISOAMSB --> +<!ENTITY plusdu ""><!-- u+E25A plus sign, dot below ISOAMSB --> +<!ENTITY pluse ""><!-- u+E267 plus, equals ISOAMSB --> +<!ENTITY plussim ""><!-- u+E26C plus, similar below ISOAMSB --> +<!ENTITY plustwo ""><!-- u+E269 plus, two; Nim-addition ISOAMSB --> +<!ENTITY race ""><!-- u+E40C reverse most positive, line below ISOAMSB --> +<!ENTITY rightthreetimes "⋌"><!-- u+22CC rightthreetimes MMALIAS rthree--> +<!ENTITY roplus ""><!-- u+E25D plus sign in right half circle ISOAMSB --> +<!ENTITY rotimes ""><!-- u+E40D multiply sign in right half circle ISOAMSB --> +<!ENTITY rthree "⋌"><!-- u+22CC rightthreetimes ISOAMSB --> +<!ENTITY rtimes "⋊"><!-- u+22CA times sign, right closed ISOAMSB --> +<!ENTITY sdot "⋅"><!-- u+22C5 small middle dot ISOAMSB --> +<!ENTITY sdotb "⊡"><!-- u+22A1 small dot in box ISOAMSB --> +<!ENTITY setminus "∖"><!-- u+2216 reverse solidus MMALIAS setmn--> +<!ENTITY setmn "∖"><!-- u+2216 reverse solidus ISOAMSB --> +<!ENTITY simplus ""><!-- u+E26B plus, similar above ISOAMSB --> +<!ENTITY smallsetminus ""><!-- u+E844 sm reverse solidus MMALIAS ssetmn--> +<!ENTITY smashp ""><!-- u+E264 smash product ISOAMSB --> +<!ENTITY solb ""><!-- u+E27F solidus in square ISOAMSB --> +<!ENTITY sqcap "⊓"><!-- u+2293 square intersection ISOAMSB --> +<!ENTITY sqcaps ""><!-- u+E277 square intersection, serifs ISOAMSB --> +<!ENTITY sqcup "⊔"><!-- u+2294 square union ISOAMSB --> +<!ENTITY sqcups ""><!-- u+E276 square union, serifs ISOAMSB --> +<!ENTITY SquareIntersection "⊓"><!-- u+2293 square intersection MMALIAS sqcap--> +<!ENTITY SquareUnion "⊔"><!-- u+2294 square union MMALIAS sqcup--> +<!ENTITY ssetmn ""><!-- u+E844 sm reverse solidus ISOAMSB --> +<!ENTITY sstarf "⋆"><!-- u+22C6 small star, filled, low ISOAMSB --> +<!ENTITY Star "⋆"><!-- u+22C6 small star, filled, low MMALIAS sstarf--> +<!ENTITY star "⋆"><!-- u+22C6 small star, filled, low MMALIAS sstarf--> +<!ENTITY subdot ""><!-- u+E262 subset, with dot ISOAMSB --> +<!ENTITY Sum "∑"><!-- u+2211 summation operator MMALIAS sum--> +<!ENTITY sum "∑"><!-- u+2211 summation operator ISOAMSB --> +<!ENTITY supdot ""><!-- u+E263 superset, with dot ISOAMSB --> +<!ENTITY timesb "⊠"><!-- u+22A0 multiply sign in box ISOAMSB --> +<!ENTITY timesbar ""><!-- u+E28E multiply sign, bar below ISOAMSB --> +<!ENTITY timesd ""><!-- u+E26D times, dot ISOAMSB --> +<!ENTITY tridot "◬"><!-- u+25EC dot in triangle ISOAMSB --> +<!ENTITY triminus ""><!-- u+E27C minus in triangle ISOAMSB --> +<!ENTITY triplus ""><!-- u+E27B plus in triangle ISOAMSB --> +<!ENTITY trisb ""><!-- u+E27E triangle, serifs at bottom ISOAMSB --> +<!ENTITY tritime ""><!-- u+E27D multiply in triangle ISOAMSB --> +<!ENTITY Union "⋃"><!-- u+22C3 union operator MMALIAS xcup--> +<!ENTITY UnionPlus "⊎"><!-- u+228E plus sign in union MMALIAS uplus--> +<!ENTITY uplus "⊎"><!-- u+228E plus sign in union ISOAMSB --> +<!ENTITY Vee "⋁"><!-- u+22C1 logical and operator MMALIAS xvee--> +<!ENTITY veebar "⊻"><!-- u+22BB logical or, bar below ISOAMSB --> +<!ENTITY VerticalTilde "≀"><!-- u+2240 wreath product MMALIAS wreath--> +<!ENTITY wedbar ""><!-- u+E265 wedge, bar below ISOAMSB --> +<!ENTITY Wedge "⋀"><!-- u+22C0 logical or operator MMALIAS xwedge--> +<!ENTITY wr "≀"><!-- u+2240 wreath product MMALIAS wreath--> +<!ENTITY wreath "≀"><!-- u+2240 wreath product ISOAMSB --> +<!ENTITY xcap "⋂"><!-- u+22C2 intersection operator ISOAMSB --> +<!ENTITY xcirc "⛗"><!-- u+25EF large circle ISOAMSB --> +<!ENTITY xcup "⋃"><!-- u+22C3 union operator ISOAMSB --> +<!ENTITY xdtri "▽"><!-- u+25BD big down triangle, open ISOAMSB --> +<!ENTITY xodot "⊙"><!-- u+2299 circle dot operator ISOAMSB --> +<!ENTITY xoplus "⊕"><!-- u+2295 circle plus operator ISOAMSB --> +<!ENTITY xotime "⊗"><!-- u+2297 circle times operator ISOAMSB --> +<!ENTITY xsqcup "⊔"><!-- u+2294 square union operator ISOAMSB --> +<!ENTITY xuplus "⊎"><!-- u+228E biguplus ISOAMSB --> +<!ENTITY xutri "△"><!-- u+25B3 big up triangle, open ISOAMSB --> +<!ENTITY xvee "⋁"><!-- u+22C1 logical and operator ISOAMSB --> +<!ENTITY xwedge "⋀"><!-- u+22C0 logical or operator ISOAMSB --> |