]> matita.cs.unibo.it Git - helm.git/blob - helm/dtd/isotech.ent
commented Record type constructor
[helm.git] / helm / dtd / isotech.ent
1
2 <!--
3      File isotech.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 acd              "&#x0223F;" ><!--ac current -->
29 <!ENTITY aleph            "&#x02135;" ><!--/aleph aleph, Hebrew -->
30 <!ENTITY and              "&#x02227;" ><!--/wedge /land B: logical and -->
31 <!ENTITY And              "&#x02A53;" ><!--dbl logical and -->
32 <!ENTITY andand           "&#x02A55;" ><!--two logical and -->
33 <!ENTITY andd             "&#x02A5C;" ><!--and, horizontal dash -->
34 <!ENTITY andslope         "&#x02A58;" ><!--sloping large and -->
35 <!ENTITY andv             "&#x02A5A;" ><!--and with middle stem -->
36 <!ENTITY angrt            "&#x0221F;" ><!--right (90 degree) angle -->
37 <!ENTITY angsph           "&#x02222;" ><!--/sphericalangle angle-spherical -->
38 <!ENTITY angst            "&#x0212B;" ><!--Angstrom capital A, ring -->
39 <!ENTITY ap               "&#x02248;" ><!--/approx R: approximate -->
40 <!ENTITY apacir           "&#x02A6F;" ><!--approximate, circumflex accent -->
41 <!ENTITY awconint         "&#x02233;" ><!--contour integral, anti-clockwise -->
42 <!ENTITY awint            "&#x02A11;" ><!--anti clock-wise integration -->
43 <!ENTITY becaus           "&#x02235;" ><!--/because R: because -->
44 <!ENTITY bernou           "&#x0212C;" ><!--Bernoulli function (script capital B)  -->
45 <!ENTITY bne              "&#x0003D;&#x020E5;" ><!--reverse not equal -->
46 <!ENTITY bnequiv          "&#x02261;&#x020E5;" ><!--reverse not equivalent -->
47 <!ENTITY bnot             "&#x02310;" ><!--reverse not -->
48 <!ENTITY bNot             "&#x02AED;" ><!--reverse not with two horizontal strokes -->
49 <!ENTITY bottom           "&#x022A5;" ><!--/bot bottom -->
50 <!ENTITY cap              "&#x02229;" ><!--/cap B: intersection -->
51 <!ENTITY Cconint          "&#x02230;" ><!--triple contour integral operator -->
52 <!ENTITY cirfnint         "&#x02A10;" ><!--circulation function -->
53 <!ENTITY compfn           "&#x02218;" ><!--/circ B: composite function (small circle) -->
54 <!ENTITY cong             "&#x02245;" ><!--/cong R: congruent with -->
55 <!ENTITY conint           "&#x0222E;" ><!--/oint L: contour integral operator -->
56 <!ENTITY Conint           "&#x0222F;" ><!--double contour integral operator -->
57 <!ENTITY ctdot            "&#x022EF;" ><!--/cdots, three dots, centered -->
58 <!ENTITY cup              "&#x0222A;" ><!--/cup B: union or logical sum -->
59 <!ENTITY cwconint         "&#x02232;" ><!--contour integral, clockwise -->
60 <!ENTITY cwint            "&#x02231;" ><!--clockwise integral -->
61 <!ENTITY cylcty           "&#x0232D;" ><!--cylindricity -->
62 <!ENTITY disin            "&#x022F2;" ><!--set membership, long horizontal stroke -->
63 <!ENTITY Dot              "&#x000A8;" ><!--dieresis or umlaut mark -->
64 <!ENTITY DotDot           "&#x020DC;" ><!--four dots above -->
65 <!ENTITY dsol             "&#x02052;" ><!--solidus, bar above -->
66 <!ENTITY dtdot            "&#x022F1;" ><!--/ddots, three dots, descending -->
67 <!ENTITY dwangle          "&#x029A6;" ><!--large downward pointing angle -->
68 <!ENTITY epar             "&#x022D5;" ><!--parallel, equal; equal or parallel -->
69 <!ENTITY eparsl           "&#x029E3;" ><!--parallel, slanted, equal; homothetically congruent to -->
70 <!ENTITY equiv            "&#x02261;" ><!--/equiv R: identical with -->
71 <!ENTITY eqvparsl         "&#x029E5;" ><!--equivalent, equal; congruent and parallel -->
72 <!ENTITY exist            "&#x02203;" ><!--/exists at least one exists -->
73 <!ENTITY fnof             "&#x00192;" ><!--function of (italic small f) -->
74 <!ENTITY forall           "&#x02200;" ><!--/forall for all -->
75 <!ENTITY fpartint         "&#x02A0D;" ><!--finite part integral -->
76 <!ENTITY ge               "&#x02265;" ><!--/geq /ge R: greater-than-or-equal -->
77 <!ENTITY hamilt           "&#x0210B;" ><!--Hamiltonian (script capital H)  -->
78 <!ENTITY iff              "&#x021D4;" ><!--/iff if and only if  -->
79 <!ENTITY iinfin           "&#x029DC;" ><!--infinity sign, incomplete -->
80 <!ENTITY imped "<%mchar.qname; name='imped'/>" ><!--(1D543)impedance -->
81 <!ENTITY infin            "&#x0221E;" ><!--/infty infinity -->
82 <!ENTITY int              "&#x0222B;" ><!--/int L: integral operator -->
83 <!ENTITY Int              "&#x0222C;" ><!--double integral operator -->
84 <!ENTITY intlarhk         "&#x02A17;" ><!--integral, left arrow with hook -->
85 <!ENTITY isin             "&#x02208;" ><!--/in R: set membership  -->
86 <!ENTITY isindot          "&#x022F5;" ><!--set membership, dot above -->
87 <!ENTITY isinE            "&#x022F9;" ><!--set membership, two horizontal strokes -->
88 <!ENTITY isins            "&#x022F4;" ><!--set membership, vertical bar on horizontal stroke -->
89 <!ENTITY isinsv           "&#x022F3;" ><!--large set membership, vertical bar on horizontal stroke -->
90 <!ENTITY isinv            "&#x02208;" ><!--set membership, variant -->
91 <!ENTITY lagran           "&#x02112;" ><!--Lagrangian (script capital L)  -->
92 <!ENTITY lang             "&#x03008;" ><!--/langle O: left angle bracket -->
93 <!ENTITY Lang             "&#x0300A;" ><!--left angle bracket, double -->
94 <!ENTITY lArr             "&#x021D0;" ><!--/Leftarrow A: is implied by -->
95 <!ENTITY lbbrk            "&#x03014;" ><!--left broken bracket -->
96 <!ENTITY le               "&#x02264;" ><!--/leq /le R: less-than-or-equal -->
97 <!ENTITY loang            "&#x03018;" ><!--left open angular bracket -->
98 <!ENTITY lobrk            "&#x0301A;" ><!--left open bracket -->
99 <!ENTITY lopar            "&#x02985;" ><!--left open parenthesis -->
100 <!ENTITY lowast           "&#x02217;" ><!--low asterisk -->
101 <!ENTITY minus            "&#x02212;" ><!--B: minus sign -->
102 <!ENTITY mnplus           "&#x02213;" ><!--/mp B: minus-or-plus sign -->
103 <!ENTITY nabla            "&#x02207;" ><!--/nabla del, Hamilton operator -->
104 <!ENTITY ne               "&#x02260;" ><!--/ne /neq R: not equal -->
105 <!ENTITY nedot            "&#x02260;&#x02063;" ><!--not equal, dot -->
106 <!ENTITY nhpar            "&#x02AF2;" ><!--not, horizontal, parallel -->
107 <!ENTITY ni               "&#x0220B;" ><!--/ni /owns R: contains -->
108 <!ENTITY nis              "&#x022FC;" ><!--contains, vertical bar on horizontal stroke -->
109 <!ENTITY nisd             "&#x022FA;" ><!--contains, long horizontal stroke -->
110 <!ENTITY niv              "&#x0220B;" ><!--contains, variant -->
111 <!ENTITY Not              "&#x02AEC;" ><!--not with two horizontal strokes -->
112 <!ENTITY notin            "&#x02209;" ><!--/notin N: negated set membership -->
113 <!ENTITY notindot         "&#x022F6;&#x02063;" ><!--negated set membership, dot above -->
114 <!ENTITY notinva          "&#x02209;&#x00338;" ><!--negated set membership, variant -->
115 <!ENTITY notinvb          "&#x022F7;" ><!--negated set membership, variant -->
116 <!ENTITY notinvc          "&#x022F6;" ><!--negated set membership, variant -->
117 <!ENTITY notni            "&#x0220C;" ><!--negated contains -->
118 <!ENTITY notniva          "&#x0220C;" ><!--negated contains, variant -->
119 <!ENTITY notnivb          "&#x022FE;" ><!--contains, variant -->
120 <!ENTITY notnivc          "&#x022FD;" ><!--contains, variant -->
121 <!ENTITY nparsl           "&#x02225;&#x02063;&#x020E5;" ><!--not parallel, slanted -->
122 <!ENTITY npart            "&#x02202;&#x00338;" ><!--not partial differential -->
123 <!ENTITY npolint          "&#x02A14;" ><!--line integration, not including the pole -->
124 <!ENTITY nvinfin          "&#x029DE;" ><!--not, vert, infinity -->
125 <!ENTITY olcross          "&#x029BB;" ><!--circle, cross -->
126 <!ENTITY or               "&#x02228;" ><!--/vee /lor B: logical or -->
127 <!ENTITY Or               "&#x02A54;" ><!--dbl logical or -->
128 <!ENTITY ord              "&#x02A5D;" ><!--or, horizontal dash -->
129 <!ENTITY order            "&#x02134;" ><!--order of (script small o)  -->
130 <!ENTITY oror             "&#x02A56;" ><!--two logical or -->
131 <!ENTITY orslope          "&#x02A57;" ><!--sloping large or -->
132 <!ENTITY orv              "&#x02A5B;" ><!--or with middle stem -->
133 <!ENTITY par              "&#x02225;" ><!--/parallel R: parallel -->
134 <!ENTITY parsl            "&#x02225;&#x02063;" ><!--parallel, slanted -->
135 <!ENTITY part             "&#x02202;" ><!--/partial partial differential -->
136 <!ENTITY permil           "&#x02030;" ><!--per thousand -->
137 <!ENTITY perp             "&#x022A5;" ><!--/perp R: perpendicular -->
138 <!ENTITY pertenk          "&#x02031;" ><!--per 10 thousand -->
139 <!ENTITY phmmat           "&#x02133;" ><!--physics M-matrix (script capital M)  -->
140 <!ENTITY pointint         "&#x02A15;" ><!--integral around a point operator -->
141 <!ENTITY prime            "&#x02032;" ><!--/prime prime or minute -->
142 <!ENTITY Prime            "&#x02033;" ><!--double prime or second -->
143 <!ENTITY profalar         "&#x0232E;" ><!--all-around profile -->
144 <!ENTITY profline         "&#x02312;" ><!--profile of a line -->
145 <!ENTITY profsurf         "&#x02313;" ><!--profile of a surface -->
146 <!ENTITY prop             "&#x0221D;" ><!--/propto R: is proportional to -->
147 <!ENTITY qint             "&#x02A0C;" ><!--/iiiint quadruple integral operator -->
148 <!ENTITY qprime           "&#x02057;" ><!--quadruple prime -->
149 <!ENTITY quatint          "&#x02A16;" ><!--quaternion integral operator -->
150 <!ENTITY radic            "&#x0221A;" ><!--/surd radical -->
151 <!ENTITY rang             "&#x03009;" ><!--/rangle C: right angle bracket -->
152 <!ENTITY Rang             "&#x0300B;" ><!--right angle bracket, double -->
153 <!ENTITY rArr             "&#x021D2;" ><!--/Rightarrow A: implies -->
154 <!ENTITY rbbrk            "&#x03015;" ><!--right broken bracket -->
155 <!ENTITY roang            "&#x03019;" ><!--right open angular bracket -->
156 <!ENTITY robrk            "&#x0301B;" ><!--right open bracket -->
157 <!ENTITY ropar            "&#x02986;" ><!--right open parenthesis -->
158 <!ENTITY rppolint         "&#x02A12;" ><!--line integration, rectangular path around pole -->
159 <!ENTITY scpolint         "&#x02A13;" ><!--line integration, semi-circular path around pole -->
160 <!ENTITY sim              "&#x0223C;" ><!--/sim R: similar -->
161 <!ENTITY simdot           "&#x02A6A;" ><!--similar, dot -->
162 <!ENTITY sime             "&#x02243;" ><!--/simeq R: similar, equals -->
163 <!ENTITY smeparsl         "&#x029E4;" ><!--similar, parallel, slanted, equal -->
164 <!ENTITY square           "&#x025A1;" ><!--/square, square -->
165 <!ENTITY squarf           "&#x025AA;" ><!--/blacksquare, square, filled  -->
166 <!ENTITY sub              "&#x02282;" ><!--/subset R: subset or is implied by -->
167 <!ENTITY sube             "&#x02286;" ><!--/subseteq R: subset, equals -->
168 <!ENTITY sup              "&#x02283;" ><!--/supset R: superset or implies -->
169 <!ENTITY supe             "&#x02287;" ><!--/supseteq R: superset, equals -->
170 <!ENTITY tdot             "&#x020DB;" ><!--three dots above -->
171 <!ENTITY there4           "&#x02234;" ><!--/therefore R: therefore -->
172 <!ENTITY tint             "&#x0222D;" ><!--/iiint triple integral operator -->
173 <!ENTITY top              "&#x022A4;" ><!--/top top -->
174 <!ENTITY topbot           "&#x02336;" ><!--top and bottom -->
175 <!ENTITY topcir           "&#x02AF1;" ><!--top, circle below -->
176 <!ENTITY tprime           "&#x02034;" ><!--triple prime -->
177 <!ENTITY utdot            "&#x022F0;" ><!--three dots, ascending -->
178 <!ENTITY uwangle          "&#x029A7;" ><!--large upward pointing angle -->
179 <!ENTITY vangrt           "&#x022BE;" ><!--right angle, variant -->
180 <!ENTITY veeeq            "&#x0225A;" ><!--logical or, equals -->
181 <!ENTITY Verbar           "&#x02016;" ><!--/Vert dbl vertical bar -->
182 <!ENTITY wedgeq           "&#x02259;" ><!--/wedgeq R: corresponds to (wedge, equals) -->
183 <!ENTITY xnis             "&#x022FB;" ><!--large contains, vertical bar on horizontal stroke -->