]> matita.cs.unibo.it Git - helm.git/blob - helm/dtd/isoamsb.ent
...
[helm.git] / helm / dtd / isoamsb.ent
1
2 <!--
3      File isoamsb.ent produced by the XSL script mmldtd.xsl
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 provisionally allocated by the
12      Unicode Consortium based on the characters in the `STIX'
13      propsal for mathematics. Note that these assignments
14      have not been ratified by the corresponding ISO
15      committee and thus should be considered liable to
16      change.
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
28 <!ENTITY ac               "&#x0290F;" ><!--most positive -->
29 <!ENTITY acE              "&#x029DB;" ><!--most positive, two lines below -->
30 <!ENTITY amalg            "&#x02A3F;" ><!--/amalg B: amalgamation or coproduct -->
31 <!ENTITY barvee           "&#x022BD;" ><!--bar, vee -->
32 <!ENTITY barwed           "&#x022BC;" ><!--/barwedge B: logical and, bar above -->
33 <!ENTITY Barwed           "&#x02306;" ><!--/doublebarwedge B: log and, dbl bar above -->
34 <!ENTITY bsolb            "&#x029C5;" ><!--reverse solidus in square -->
35 <!ENTITY Cap              "&#x022D2;" ><!--/Cap /doublecap B: dbl intersection -->
36 <!ENTITY capand           "&#x02A44;" ><!--intersection, and -->
37 <!ENTITY capbrcup         "&#x02A49;" ><!--intersection, bar, union -->
38 <!ENTITY capcap           "&#x02A4B;" ><!--intersection, intersection, joined -->
39 <!ENTITY capcup           "&#x02A47;" ><!--intersection above union -->
40 <!ENTITY capdot           "&#x02A40;" ><!--intersection, with dot -->
41 <!ENTITY caps             "&#x02229;&#x02063;" ><!--intersection, serifs -->
42 <!ENTITY ccaps            "&#x02A4D;" ><!--closed intersection, serifs -->
43 <!ENTITY ccups            "&#x02A4C;" ><!--closed union, serifs -->
44 <!ENTITY ccupssm          "&#x02A50;" ><!--closed union, serifs, smash product -->
45 <!ENTITY coprod           "&#x02210;" ><!--/coprod L: coproduct operator -->
46 <!ENTITY Cup              "&#x022D3;" ><!--/Cup /doublecup B: dbl union -->
47 <!ENTITY cupbrcap         "&#x02A48;" ><!--union, bar, intersection -->
48 <!ENTITY cupcap           "&#x02A46;" ><!--union above intersection -->
49 <!ENTITY cupcup           "&#x02A4A;" ><!--union, union, joined -->
50 <!ENTITY cupdot           "&#x0228D;" ><!--union, with dot -->
51 <!ENTITY cupor            "&#x02A45;" ><!--union, or -->
52 <!ENTITY cups             "&#x0222A;&#x02063;" ><!--union, serifs -->
53 <!ENTITY cuvee            "&#x022CE;" ><!--/curlyvee B: curly logical or -->
54 <!ENTITY cuwed            "&#x022CF;" ><!--/curlywedge B: curly logical and -->
55 <!ENTITY dagger           "&#x02020;" ><!--/dagger B: dagger relation -->
56 <!ENTITY Dagger           "&#x02021;" ><!--/ddagger B: double dagger relation -->
57 <!ENTITY diam             "&#x022C4;" ><!--/diamond B: open diamond -->
58 <!ENTITY divonx           "&#x022C7;" ><!--/divideontimes B: division on times -->
59 <!ENTITY eplus            "&#x02A71;" ><!--equal, plus -->
60 <!ENTITY hercon           "&#x022B9;" ><!--hermitian conjugate matrix -->
61 <!ENTITY intcal           "&#x022BA;" ><!--/intercal B: intercal -->
62 <!ENTITY iprod            "&#x02A3C;" ><!--/intprod -->
63 <!ENTITY loplus           "&#x02A2D;" ><!--plus sign in left half circle -->
64 <!ENTITY lotimes          "&#x02A34;" ><!--multiply sign in left half circle  -->
65 <!ENTITY lthree           "&#x022CB;" ><!--/leftthreetimes B: -->
66 <!ENTITY ltimes           "&#x022C9;" ><!--/ltimes B: times sign, left closed -->
67 <!ENTITY midast           "&#x0002A;" ><!--/ast B: asterisk -->
68 <!ENTITY minusb           "&#x0229F;" ><!--/boxminus B: minus sign in box -->
69 <!ENTITY minusd           "&#x02238;" ><!--/dotminus B: minus sign, dot above -->
70 <!ENTITY minusdu          "&#x02A2A;" ><!--minus sign, dot below -->
71 <!ENTITY ncap             "&#x02A43;" ><!--bar, intersection -->
72 <!ENTITY ncup             "&#x02A42;" ><!--bar, union -->
73 <!ENTITY oast             "&#x0229B;" ><!--/circledast B: asterisk in circle -->
74 <!ENTITY ocir             "&#x0229A;" ><!--/circledcirc B: small circle in circle -->
75 <!ENTITY odash            "&#x0229D;" ><!--/circleddash B: hyphen in circle -->
76 <!ENTITY odiv             "&#x02A38;" ><!--divide in circle -->
77 <!ENTITY odot             "&#x02299;" ><!--/odot B: middle dot in circle -->
78 <!ENTITY odsold           "&#x029BC;" ><!--dot, solidus, dot in circle -->
79 <!ENTITY ofcir            "&#x029BF;" ><!--filled circle in circle -->
80 <!ENTITY ogt              "&#x029C1;" ><!--greater-than in circle -->
81 <!ENTITY ohbar            "&#x029B5;" ><!--circle with horizontal bar -->
82 <!ENTITY olcir            "&#x029BE;" ><!--large circle in circle -->
83 <!ENTITY olt              "&#x029C0;" ><!--less-than in circle -->
84 <!ENTITY omid             "&#x029B6;" ><!--vertical bar in circle -->
85 <!ENTITY ominus           "&#x02296;" ><!--/ominus B: minus sign in circle -->
86 <!ENTITY opar             "&#x029B7;" ><!--parallel in circle -->
87 <!ENTITY operp            "&#x029B9;" ><!--perpendicular in circle -->
88 <!ENTITY oplus            "&#x02295;" ><!--/oplus B: plus sign in circle -->
89 <!ENTITY osol             "&#x02298;" ><!--/oslash B: solidus in circle -->
90 <!ENTITY otimes           "&#x02297;" ><!--/otimes B: multiply sign in circle -->
91 <!ENTITY Otimes           "&#x02A37;" ><!--multiply sign in double circle -->
92 <!ENTITY otimesas         "&#x02A36;" ><!--multiply sign in circle, circumflex accent -->
93 <!ENTITY ovbar            "&#x0233D;" ><!--circle with vertical bar -->
94 <!ENTITY plusacir         "&#x02A23;" ><!--plus, circumflex accent above -->
95 <!ENTITY plusb            "&#x0229E;" ><!--/boxplus B: plus sign in box -->
96 <!ENTITY pluscir          "&#x02A22;" ><!--plus, small circle above -->
97 <!ENTITY plusdo           "&#x02214;" ><!--/dotplus B: plus sign, dot above -->
98 <!ENTITY plusdu           "&#x02A25;" ><!--plus sign, dot below -->
99 <!ENTITY pluse            "&#x02A72;" ><!--plus, equals -->
100 <!ENTITY plussim          "&#x02A26;" ><!--plus, similar below -->
101 <!ENTITY plustwo          "&#x02A27;" ><!--plus, two; Nim-addition -->
102 <!ENTITY prod             "&#x0220F;" ><!--/prod L: product operator -->
103 <!ENTITY race             "&#x029DA;" ><!--reverse most positive, line below -->
104 <!ENTITY roplus           "&#x02A2E;" ><!--plus sign in right half circle -->
105 <!ENTITY rotimes          "&#x02A35;" ><!--multiply sign in right half circle -->
106 <!ENTITY rthree           "&#x022CC;" ><!--/rightthreetimes B: -->
107 <!ENTITY rtimes           "&#x022CA;" ><!--/rtimes B: times sign, right closed -->
108 <!ENTITY sdot             "&#x022C5;" ><!--/cdot B: small middle dot -->
109 <!ENTITY sdotb            "&#x022A1;" ><!--/dotsquare /boxdot B: small dot in box -->
110 <!ENTITY setmn            "&#x02216;" ><!--/setminus B: reverse solidus -->
111 <!ENTITY simplus          "&#x02A24;" ><!--plus, similar above -->
112 <!ENTITY smashp           "&#x02A33;" ><!--smash product -->
113 <!ENTITY solb             "&#x029C4;" ><!--solidus in square -->
114 <!ENTITY sqcap            "&#x02293;" ><!--/sqcap B: square intersection -->
115 <!ENTITY sqcaps           "&#x02293;&#x02063;" ><!--square intersection, serifs -->
116 <!ENTITY sqcup            "&#x02294;" ><!--/sqcup B: square union -->
117 <!ENTITY sqcups           "&#x02294;&#x02063;" ><!--square union, serifs -->
118 <!ENTITY ssetmn           "&#x02216;" ><!--/smallsetminus B: sm reverse solidus -->
119 <!ENTITY sstarf           "&#x022C6;" ><!--/star B: small star, filled -->
120 <!ENTITY subdot           "&#x02ABD;" ><!--subset, with dot -->
121 <!ENTITY sum              "&#x02211;" ><!--/sum L: summation operator -->
122 <!ENTITY supdot           "&#x02ABE;" ><!--superset, with dot -->
123 <!ENTITY timesb           "&#x022A0;" ><!--/boxtimes B: multiply sign in box -->
124 <!ENTITY timesbar         "&#x02A31;" ><!--multiply sign, bar below -->
125 <!ENTITY timesd           "&#x02A30;" ><!--times, dot -->
126 <!ENTITY tridot           "&#x025EC;" ><!--dot in triangle -->
127 <!ENTITY triminus         "&#x02A3A;" ><!--minus in triangle -->
128 <!ENTITY triplus          "&#x02A39;" ><!--plus in triangle -->
129 <!ENTITY trisb            "&#x029CD;" ><!--triangle, serifs at bottom -->
130 <!ENTITY tritime          "&#x02A3B;" ><!--multiply in triangle -->
131 <!ENTITY uplus            "&#x0228E;" ><!--/uplus B: plus sign in union -->
132 <!ENTITY veebar           "&#x022BB;" ><!--/veebar B: logical or, bar below -->
133 <!ENTITY wedbar           "&#x02A5F;" ><!--wedge, bar below -->
134 <!ENTITY wreath           "&#x02240;" ><!--/wr B: wreath product -->
135 <!ENTITY xcap             "&#x022C2;" ><!--/bigcap L: intersection operator -->
136 <!ENTITY xcirc            "&#x025EF;" ><!--/bigcirc B: large circle -->
137 <!ENTITY xcup             "&#x022C3;" ><!--/bigcup L: union operator -->
138 <!ENTITY xdtri            "&#x025BD;" ><!--/bigtriangledown B: big dn tri, open -->
139 <!ENTITY xodot            "&#x02299;" ><!--/bigodot L: circle dot operator -->
140 <!ENTITY xoplus           "&#x02295;" ><!--/bigoplus L: circle plus operator -->
141 <!ENTITY xotime           "&#x02297;" ><!--/bigotimes L: circle times operator -->
142 <!ENTITY xsqcup           "&#x02294;" ><!--/bigsqcup L: square union operator -->
143 <!ENTITY xuplus           "&#x0228E;" ><!--/biguplus L: -->
144 <!ENTITY xutri            "&#x025B3;" ><!--/bigtriangleup B: big up tri, open -->
145 <!ENTITY xvee             "&#x022C1;" ><!--/bigvee L: logical and operator -->
146 <!ENTITY xwedge           "&#x022C0;" ><!--/bigwedge L: logical or operator -->