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, 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 ""><!-- 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 --> |