Project

Profile

Help

How to connect?
Download (9.23 KB) Statistics
| Branch: | Tag: | Revision:

he / latest10 / hej / net / sf / saxon / data / w3c / mathml / mathml1 / isoamsb.ent @ 02f8308b

1
<!-- 
2

    
3
     File isoamsb.ent produced by the dsssl script ent.dsl
4
     from input data in unicode.xml.
5

    
6
     Please report any errors to 
7
     David Carlisle <davidc@nag.co.uk>.
8

    
9
     The numeric character values assigned to each entity
10
     (should) match either official Unicode assignments
11
     or assignments in the STIX proposal for characters
12
     for Mathematics.
13

    
14
     The STIX assignments are temporary and will change if
15
     the proposal or some variant of it is adopted by the
16
     Unicode Consortium.
17

    
18
     Entity names in this file are derived from files carrying the
19
     following notice:
20

    
21
     (C) International Organization for Standardization 1991
22
     Permission to copy in any form is granted for use with
23
     conforming SGML systems and applications as defined in
24
     ISO 8879, provided this notice is included in all copies.
25
-->
26

    
27
<!ENTITY ac         "&#57863;" ><!--UE207 most positive -->
28
<!ENTITY acE        "&#58000;" ><!--UE290 most positive, two lines below -->
29
<!ENTITY amalg      "&#57937;" ><!--UE251 /amalg B: amalgamation or coproduct -->
30
<!ENTITY barvee     "&#8893;"  ><!--U22BD bar, vee -->
31
<!ENTITY barwed     "&#8892;"  ><!--U22BC /barwedge B: logical and, bar above -->
32
<!ENTITY bsolb      "&#57984;" ><!--UE280 reverse solidus in square -->
33
<!ENTITY Barwed     "&#8966;"  ><!--U2306 /doublebarwedge B: log and, dbl bar above -->
34
<!ENTITY capand     "&#57985;" ><!--UE281 intersection, and -->
35
<!ENTITY capbrcup   "&#57969;" ><!--UE271 intersection, bar, union -->
36
<!ENTITY capcap     "&#57971;" ><!--UE273 intersection, intersection, joined -->
37
<!ENTITY capcup     "&#57967;" ><!--UE26F intersection above union -->
38
<!ENTITY capdot     "&#57953;" ><!--UE261 intersection, with dot -->
39
<!ENTITY caps       "&#57973;" ><!--UE275 intersection, serifs -->
40
<!ENTITY ccaps      "&#57977;" ><!--UE279 closed intersection, serifs -->
41
<!ENTITY ccups      "&#57976;" ><!--UE278 closed union, serifs -->
42
<!ENTITY ccupssm    "&#57978;" ><!--UE27A closed union, serifs, smash product -->
43
<!ENTITY coprod     "&#8720;"  ><!--U2210 /coprod L: coproduct operator -->
44
<!ENTITY cupbrcap   "&#57968;" ><!--UE270 union, bar, intersection -->
45
<!ENTITY cupcap     "&#57966;" ><!--UE26E union above intersection -->
46
<!ENTITY cupcup     "&#57970;" ><!--UE272 union, union, joined -->
47
<!ENTITY cupdot     "&#8845;"  ><!--U228D union, with dot -->
48
<!ENTITY cupor      "&#57986;" ><!--UE282 union, or -->
49
<!ENTITY cups       "&#57972;" ><!--UE274 union, serifs -->
50
<!ENTITY cuvee      "&#8910;"  ><!--U22CE /curlyvee B: curly logical or -->
51
<!ENTITY cuwed      "&#8911;"  ><!--U22CF /curlywedge B: curly logical and -->
52
<!ENTITY Cap        "&#8914;"  ><!--U22D2 /Cap /doublecap B: dbl intersection -->
53
<!ENTITY Cup        "&#8915;"  ><!--U22D3 /Cup /doublecup B: dbl union -->
54
<!ENTITY dagger     "&#8224;"  ><!--U2020 /dagger B: dagger relation -->
55
<!ENTITY diam       "&#8900;"  ><!--U22C4 /diamond B: open diamond -->
56
<!ENTITY divonx     "&#8903;"  ><!--U22C7 /divideontimes B: division on times -->
57
<!ENTITY Dagger     "&#8225;"  ><!--U2021 /ddagger B: double dagger relation -->
58
<!ENTITY eplus      "&#57960;" ><!--UE268 equal, plus -->
59
<!ENTITY hercon     "&#8889;"  ><!--U22B9 hermitian conjugate matrix -->
60
<!ENTITY intcal     "&#8890;"  ><!--U22BA /intercal B: intercal -->
61
<!ENTITY iprod      "&#57945;" ><!--UE259 /intprod -->
62
<!ENTITY loplus     "&#57948;" ><!--UE25C plus sign in left half circle -->
63
<!ENTITY lotimes    "&#57950;" ><!--UE25E multiply sign in left half circle  -->
64
<!ENTITY lthree     "&#8907;"  ><!--U22CB /leftthreetimes B: -->
65
<!ENTITY ltimes     "&#8905;"  ><!--U22C9 /ltimes B: times sign, left closed -->
66
<!ENTITY midast     "&#42;"    ><!--U002A /ast B: asterisk -->
67
<!ENTITY minusb     "&#8863;"  ><!--U229F /boxminus B: minus sign in box -->
68
<!ENTITY minusd     "&#8760;"  ><!--U2238 /dotminus B: minus sign, dot above -->
69
<!ENTITY minusdu    "&#57947;" ><!--UE25B minus sign, dot below -->
70
<!ENTITY ncap       "&#57988;" ><!--UE284 bar, intersection -->
71
<!ENTITY ncup       "&#57987;" ><!--UE283 bar, union -->
72
<!ENTITY oast       "&#8859;"  ><!--U229B /circledast B: asterisk in circle -->
73
<!ENTITY ocir       "&#8858;"  ><!--U229A /circledcirc B: small circle in circle -->
74
<!ENTITY odash      "&#8861;"  ><!--U229D /circleddash B: hyphen in circle -->
75
<!ENTITY odiv       "&#57989;" ><!--UE285 divide in circle -->
76
<!ENTITY odot       "&#8857;"  ><!--U2299 /odot B: middle dot in circle -->
77
<!ENTITY odsold     "&#57990;" ><!--UE286 dot, solidus, dot in circle -->
78
<!ENTITY ofcir      "&#57991;" ><!--UE287 filled circle in circle -->
79
<!ENTITY ogt        "&#57993;" ><!--UE289 greater-than in circle -->
80
<!ENTITY ohbar      "&#57952;" ><!--UE260 circle with horizontal bar -->
81
<!ENTITY olcir      "&#58377;" ><!--UE409 large circle in circle -->
82
<!ENTITY olt        "&#57992;" ><!--UE288 less-than in circle -->
83
<!ENTITY omid       "&#58378;" ><!--UE40A vertical bar in circle -->
84
<!ENTITY ominus     "&#8854;"  ><!--U2296 /ominus B: minus sign in circle -->
85
<!ENTITY opar       "&#57994;" ><!--UE28A parallel in circle -->
86
<!ENTITY operp      "&#57995;" ><!--UE28B perpendicular in circle -->
87
<!ENTITY oplus      "&#8853;"  ><!--U2295 /oplus B: plus sign in circle -->
88
<!ENTITY osol       "&#8856;"  ><!--U2298 /oslash B: solidus in circle -->
89
<!ENTITY otimes     "&#8855;"  ><!--U2297 /otimes B: multiply sign in circle -->
90
<!ENTITY otimesas   "&#57997;" ><!--UE28D multiply sign in circle, circumflex accent -->
91
<!ENTITY ovbar      "&#59448;" ><!--UE838 circle with vertical bar -->
92
<!ENTITY Otimes     "&#57996;" ><!--UE28C multiply sign in double circle -->
93
<!ENTITY plusacir   "&#57962;" ><!--UE26A plus, circumflex accent above -->
94
<!ENTITY plusb      "&#8862;"  ><!--U229E /boxplus B: plus sign in box -->
95
<!ENTITY pluscir    "&#57958;" ><!--UE266 plus, small circle above -->
96
<!ENTITY plusdo     "&#8724;"  ><!--U2214 /dotplus B: plus sign, dot above -->
97
<!ENTITY plusdu     "&#57946;" ><!--UE25A plus sign, dot below -->
98
<!ENTITY pluse      "&#57959;" ><!--UE267 plus, equals -->
99
<!ENTITY plussim    "&#57964;" ><!--UE26C plus, similar below -->
100
<!ENTITY plustwo    "&#57961;" ><!--UE269 plus, two; Nim-addition -->
101
<!ENTITY prod       "&#8719;"  ><!--U220F /prod L: product operator -->
102
<!ENTITY race       "&#58380;" ><!--UE40C reverse most positive, line below -->
103
<!ENTITY roplus     "&#57949;" ><!--UE25D plus sign in right half circle -->
104
<!ENTITY rotimes    "&#57951;" ><!--UE25F multiply sign in right half circle -->
105
<!ENTITY rthree     "&#8908;"  ><!--U22CC /rightthreetimes B: -->
106
<!ENTITY rtimes     "&#8906;"  ><!--U22CA /rtimes B: times sign, right closed -->
107
<!ENTITY sdot       "&#8901;"  ><!--U22C5 /cdot B: small middle dot -->
108
<!ENTITY sdotb      "&#8865;"  ><!--U22A1 /dotsquare /boxdot B: small dot in box -->
109
<!ENTITY setmn      "&#8726;"  ><!--U2216 /setminus B: reverse solidus -->
110
<!ENTITY simplus    "&#57963;" ><!--UE26B plus, similar above -->
111
<!ENTITY smashp     "&#57956;" ><!--UE264 smash product -->
112
<!ENTITY solb       "&#57983;" ><!--UE27F solidus in square -->
113
<!ENTITY sqcap      "&#8851;"  ><!--U2293 /sqcap B: square intersection -->
114
<!ENTITY sqcaps     "&#57975;" ><!--UE277 square intersection, serifs -->
115
<!ENTITY sqcup      "&#8852;"  ><!--U2294 /sqcup B: square union -->
116
<!ENTITY sqcups     "&#57974;" ><!--UE276 square union, serifs -->
117
<!ENTITY ssetmn     "&#59460;" ><!--UE844 /smallsetminus B: sm reverse solidus -->
118
<!ENTITY sstarf     "&#8902;"  ><!--U22C6 /star B: small star, filled -->
119
<!ENTITY subdot     "&#57954;" ><!--UE262 subset, with dot -->
120
<!ENTITY sum        "&#8721;"  ><!--U2211 /sum L: summation operator -->
121
<!ENTITY supdot     "&#57955;" ><!--UE263 superset, with dot -->
122
<!ENTITY timesb     "&#8864;"  ><!--U22A0 /boxtimes B: multiply sign in box -->
123
<!ENTITY timesbar   "&#57998;" ><!--UE28E multiply sign, bar below -->
124
<!ENTITY timesd     "&#57965;" ><!--UE26D times, dot -->
125
<!ENTITY tridot     "&#9708;"  ><!--U25EC dot in triangle -->
126
<!ENTITY triminus   "&#57980;" ><!--UE27C minus in triangle -->
127
<!ENTITY triplus    "&#57979;" ><!--UE27B plus in triangle -->
128
<!ENTITY trisb      "&#57982;" ><!--UE27E triangle, serifs at bottom -->
129
<!ENTITY tritime    "&#57981;" ><!--UE27D multiply in triangle -->
130
<!ENTITY uplus      "&#8846;"  ><!--U228E /uplus B: plus sign in union -->
131
<!ENTITY veebar     "&#8891;"  ><!--U22BB /veebar B: logical or, bar below -->
132
<!ENTITY wedbar     "&#57957;" ><!--UE265 wedge, bar below -->
133
<!ENTITY wreath     "&#8768;"  ><!--U2240 /wr B: wreath product -->
134
<!ENTITY xcap       "&#8898;"  ><!--U22C2 /bigcap L: intersection operator -->
135
<!ENTITY xcirc      "&#9711;"  ><!--U25EF /bigcirc B: large circle -->
136
<!ENTITY xcup       "&#8899;"  ><!--U22C3 /bigcup L: union operator -->
137
<!ENTITY xdtri      "&#9661;"  ><!--U25BD /bigtriangledown B: big dn tri, open -->
138
<!ENTITY xodot      "&#8857;"  ><!--U2299 /bigodot L: circle dot operator -->
139
<!ENTITY xoplus     "&#8853;"  ><!--U2295 /bigoplus L: circle plus operator -->
140
<!ENTITY xotime     "&#8855;"  ><!--U2297 /bigotimes L: circle times operator -->
141
<!ENTITY xsqcup     "&#8852;"  ><!--U2294 /bigsqcup L: square union operator -->
142
<!ENTITY xuplus     "&#8846;"  ><!--U228E /biguplus L: -->
143
<!ENTITY xutri      "&#9651;"  ><!--U25B3 /bigtriangleup B: big up tri, open -->
144
<!ENTITY xvee       "&#8897;"  ><!--U22C1 /bigvee L: logical and operator -->
145
<!ENTITY xwedge     "&#8896;"  ><!--U22C0 /bigwedge L: logical or operator -->
(2-2/25)