home *** CD-ROM | disk | FTP | other *** search
- <!--
-
- File isoamsb.ent produced by the dsssl script ent.dsl
- from input data in unicode.xml.
-
- Please report any errors to
- David Carlisle <davidc@nag.co.uk>.
-
- The numeric character values assigned to each entity
- (should) match either official Unicode assignments
- or assignments in the STIX proposal for characters
- for Mathematics.
-
- The STIX assignments are temporary and will change if
- the proposal or some variant of it is adopted by the
- Unicode Consortium.
-
- Entity names in this file are derived from files carrying the
- following notice:
-
- (C) International Organization for Standardization 1991
- Permission to copy in any form is granted for use with
- conforming SGML systems and applications as defined in
- ISO 8879, provided this notice is included in all copies.
- -->
-
- <!ENTITY ac "" ><!--UE207 most positive -->
- <!ENTITY acE "" ><!--UE290 most positive, two lines below -->
- <!ENTITY amalg "" ><!--UE251 /amalg B: amalgamation or coproduct -->
- <!ENTITY barvee "⊽" ><!--U22BD bar, vee -->
- <!ENTITY barwed "⊼" ><!--U22BC /barwedge B: logical and, bar above -->
- <!ENTITY bsolb "" ><!--UE280 reverse solidus in square -->
- <!ENTITY Barwed "⌆" ><!--U2306 /doublebarwedge B: log and, dbl bar above -->
- <!ENTITY capand "" ><!--UE281 intersection, and -->
- <!ENTITY capbrcup "" ><!--UE271 intersection, bar, union -->
- <!ENTITY capcap "" ><!--UE273 intersection, intersection, joined -->
- <!ENTITY capcup "" ><!--UE26F intersection above union -->
- <!ENTITY capdot "" ><!--UE261 intersection, with dot -->
- <!ENTITY caps "" ><!--UE275 intersection, serifs -->
- <!ENTITY ccaps "" ><!--UE279 closed intersection, serifs -->
- <!ENTITY ccups "" ><!--UE278 closed union, serifs -->
- <!ENTITY ccupssm "" ><!--UE27A closed union, serifs, smash product -->
- <!ENTITY coprod "∐" ><!--U2210 /coprod L: coproduct operator -->
- <!ENTITY cupbrcap "" ><!--UE270 union, bar, intersection -->
- <!ENTITY cupcap "" ><!--UE26E union above intersection -->
- <!ENTITY cupcup "" ><!--UE272 union, union, joined -->
- <!ENTITY cupdot "⊍" ><!--U228D union, with dot -->
- <!ENTITY cupor "" ><!--UE282 union, or -->
- <!ENTITY cups "" ><!--UE274 union, serifs -->
- <!ENTITY cuvee "⋎" ><!--U22CE /curlyvee B: curly logical or -->
- <!ENTITY cuwed "⋏" ><!--U22CF /curlywedge B: curly logical and -->
- <!ENTITY Cap "⋒" ><!--U22D2 /Cap /doublecap B: dbl intersection -->
- <!ENTITY Cup "⋓" ><!--U22D3 /Cup /doublecup B: dbl union -->
- <!ENTITY dagger "†" ><!--U2020 /dagger B: dagger relation -->
- <!ENTITY diam "⋄" ><!--U22C4 /diamond B: open diamond -->
- <!ENTITY divonx "⋇" ><!--U22C7 /divideontimes B: division on times -->
- <!ENTITY Dagger "‡" ><!--U2021 /ddagger B: double dagger relation -->
- <!ENTITY eplus "" ><!--UE268 equal, plus -->
- <!ENTITY hercon "⊹" ><!--U22B9 hermitian conjugate matrix -->
- <!ENTITY intcal "⊺" ><!--U22BA /intercal B: intercal -->
- <!ENTITY iprod "" ><!--UE259 /intprod -->
- <!ENTITY loplus "" ><!--UE25C plus sign in left half circle -->
- <!ENTITY lotimes "" ><!--UE25E multiply sign in left half circle -->
- <!ENTITY lthree "⋋" ><!--U22CB /leftthreetimes B: -->
- <!ENTITY ltimes "⋉" ><!--U22C9 /ltimes B: times sign, left closed -->
- <!ENTITY midast "*" ><!--U002A /ast B: asterisk -->
- <!ENTITY minusb "⊟" ><!--U229F /boxminus B: minus sign in box -->
- <!ENTITY minusd "∸" ><!--U2238 /dotminus B: minus sign, dot above -->
- <!ENTITY minusdu "" ><!--UE25B minus sign, dot below -->
- <!ENTITY ncap "" ><!--UE284 bar, intersection -->
- <!ENTITY ncup "" ><!--UE283 bar, union -->
- <!ENTITY oast "⊛" ><!--U229B /circledast B: asterisk in circle -->
- <!ENTITY ocir "⊚" ><!--U229A /circledcirc B: small circle in circle -->
- <!ENTITY odash "⊝" ><!--U229D /circleddash B: hyphen in circle -->
- <!ENTITY odiv "" ><!--UE285 divide in circle -->
- <!ENTITY odot "⊙" ><!--U2299 /odot B: middle dot in circle -->
- <!ENTITY odsold "" ><!--UE286 dot, solidus, dot in circle -->
- <!ENTITY ofcir "" ><!--UE287 filled circle in circle -->
- <!ENTITY ogt "" ><!--UE289 greater-than in circle -->
- <!ENTITY ohbar "" ><!--UE260 circle with horizontal bar -->
- <!ENTITY olcir "" ><!--UE409 large circle in circle -->
- <!ENTITY olt "" ><!--UE288 less-than in circle -->
- <!ENTITY omid "" ><!--UE40A vertical bar in circle -->
- <!ENTITY ominus "⊖" ><!--U2296 /ominus B: minus sign in circle -->
- <!ENTITY opar "" ><!--UE28A parallel in circle -->
- <!ENTITY operp "" ><!--UE28B perpendicular in circle -->
- <!ENTITY oplus "⊕" ><!--U2295 /oplus B: plus sign in circle -->
- <!ENTITY osol "⊘" ><!--U2298 /oslash B: solidus in circle -->
- <!ENTITY otimes "⊗" ><!--U2297 /otimes B: multiply sign in circle -->
- <!ENTITY otimesas "" ><!--UE28D multiply sign in circle, circumflex accent -->
- <!ENTITY ovbar "" ><!--UE838 circle with vertical bar -->
- <!ENTITY Otimes "" ><!--UE28C multiply sign in double circle -->
- <!ENTITY plusacir "" ><!--UE26A plus, circumflex accent above -->
- <!ENTITY plusb "⊞" ><!--U229E /boxplus B: plus sign in box -->
- <!ENTITY pluscir "" ><!--UE266 plus, small circle above -->
- <!ENTITY plusdo "∔" ><!--U2214 /dotplus B: plus sign, dot above -->
- <!ENTITY plusdu "" ><!--UE25A plus sign, dot below -->
- <!ENTITY pluse "" ><!--UE267 plus, equals -->
- <!ENTITY plussim "" ><!--UE26C plus, similar below -->
- <!ENTITY plustwo "" ><!--UE269 plus, two; Nim-addition -->
- <!ENTITY prod "∏" ><!--U220F /prod L: product operator -->
- <!ENTITY race "" ><!--UE40C reverse most positive, line below -->
- <!ENTITY roplus "" ><!--UE25D plus sign in right half circle -->
- <!ENTITY rotimes "" ><!--UE25F multiply sign in right half circle -->
- <!ENTITY rthree "⋌" ><!--U22CC /rightthreetimes B: -->
- <!ENTITY rtimes "⋊" ><!--U22CA /rtimes B: times sign, right closed -->
- <!ENTITY sdot "⋅" ><!--U22C5 /cdot B: small middle dot -->
- <!ENTITY sdotb "⊡" ><!--U22A1 /dotsquare /boxdot B: small dot in box -->
- <!ENTITY setmn "∖" ><!--U2216 /setminus B: reverse solidus -->
- <!ENTITY simplus "" ><!--UE26B plus, similar above -->
- <!ENTITY smashp "" ><!--UE264 smash product -->
- <!ENTITY solb "" ><!--UE27F solidus in square -->
- <!ENTITY sqcap "⊓" ><!--U2293 /sqcap B: square intersection -->
- <!ENTITY sqcaps "" ><!--UE277 square intersection, serifs -->
- <!ENTITY sqcup "⊔" ><!--U2294 /sqcup B: square union -->
- <!ENTITY sqcups "" ><!--UE276 square union, serifs -->
- <!ENTITY ssetmn "" ><!--UE844 /smallsetminus B: sm reverse solidus -->
- <!ENTITY sstarf "⋆" ><!--U22C6 /star B: small star, filled -->
- <!ENTITY subdot "" ><!--UE262 subset, with dot -->
- <!ENTITY sum "∑" ><!--U2211 /sum L: summation operator -->
- <!ENTITY supdot "" ><!--UE263 superset, with dot -->
- <!ENTITY timesb "⊠" ><!--U22A0 /boxtimes B: multiply sign in box -->
- <!ENTITY timesbar "" ><!--UE28E multiply sign, bar below -->
- <!ENTITY timesd "" ><!--UE26D times, dot -->
- <!ENTITY tridot "◬" ><!--U25EC dot in triangle -->
- <!ENTITY triminus "" ><!--UE27C minus in triangle -->
- <!ENTITY triplus "" ><!--UE27B plus in triangle -->
- <!ENTITY trisb "" ><!--UE27E triangle, serifs at bottom -->
- <!ENTITY tritime "" ><!--UE27D multiply in triangle -->
- <!ENTITY uplus "⊎" ><!--U228E /uplus B: plus sign in union -->
- <!ENTITY veebar "⊻" ><!--U22BB /veebar B: logical or, bar below -->
- <!ENTITY wedbar "" ><!--UE265 wedge, bar below -->
- <!ENTITY wreath "≀" ><!--U2240 /wr B: wreath product -->
- <!ENTITY xcap "⋂" ><!--U22C2 /bigcap L: intersection operator -->
- <!ENTITY xcirc "◯" ><!--U25EF /bigcirc B: large circle -->
- <!ENTITY xcup "⋃" ><!--U22C3 /bigcup L: union operator -->
- <!ENTITY xdtri "▽" ><!--U25BD /bigtriangledown B: big dn tri, open -->
- <!ENTITY xodot "⊙" ><!--U2299 /bigodot L: circle dot operator -->
- <!ENTITY xoplus "⊕" ><!--U2295 /bigoplus L: circle plus operator -->
- <!ENTITY xotime "⊗" ><!--U2297 /bigotimes L: circle times operator -->
- <!ENTITY xsqcup "⊔" ><!--U2294 /bigsqcup L: square union operator -->
- <!ENTITY xuplus "⊎" ><!--U228E /biguplus L: -->
- <!ENTITY xutri "△" ><!--U25B3 /bigtriangleup B: big up tri, open -->
- <!ENTITY xvee "⋁" ><!--U22C1 /bigvee L: logical and operator -->
- <!ENTITY xwedge "⋀" ><!--U22C0 /bigwedge L: logical or operator -->
-