]> matita.cs.unibo.it Git - helm.git/blob - helm/dtd/mathml2-qname-1.mod
Invariant no longer true (since when?)
[helm.git] / helm / dtd / mathml2-qname-1.mod
1 <!-- ....................................................................... -->
2 <!-- MathML Qualified Names Module  ........................................ -->
3 <!-- file: mathml2-qname-1.mod
4
5      This is the Mathematical Markup Language (MathML) 2.0, an XML 
6      application for describing mathematical notation and capturing 
7      both its structure and content.
8
9      Copyright 1998-2000 W3C (MIT, INRIA, Keio), All Rights Reserved.
10      Revision: $Id$ 
11
12      This DTD module is identified by the PUBLIC and SYSTEM identifiers:
13
14        PUBLIC "-//W3C//ENTITIES MathML 2.0 Qualified Names 1.0//EN"
15        SYSTEM "mathml2-qname-1.mod"
16
17      Revisions:
18      (none)
19      ....................................................................... -->
20
21 <!-- MathML Qualified Names
22
23      This module is contained in two parts, labeled Section 'A' and 'B':
24
25        Section A declares parameter entities to support namespace-
26        qualified names, namespace declarations, and name prefixing 
27        for MathML.
28     
29        Section B declares parameter entities used to provide
30        namespace-qualified names for all MathML element types.
31
32      This module is derived from the XHTML Qualified Names Template module.
33 -->
34
35 <!-- Section A: XHTML XML Namespace Framework :::::::::::::::::::: -->
36
37 <!-- HELM: mathml namespace activated: 
38 <!ENTITY % NS.prefixed     "IGNORE" >-->
39
40 <!ENTITY % NS.prefixed     "INCLUDE" >
41 <!ENTITY % MATHML.prefixed "%NS.prefixed;" >
42
43 <!-- XLink ............... -->
44
45 <!ENTITY % XLINK.xmlns "http://www.w3.org/1999/xlink" >
46 <!ENTITY % XLINK.xmlns.attrib
47      "xmlns:xlink  CDATA           #FIXED '%XLINK.xmlns;'"
48 >
49
50 <!-- MathML .............. -->
51
52 <!ENTITY % MATHML.xmlns    "http://www.w3.org/1998/Math/MathML" >
53 <!ENTITY % MATHML.prefix   "m" >
54 <![%MATHML.prefixed;[
55 <!ENTITY % MATHML.xmlns.extra.attrib  "" >
56 ]]>
57 <!ENTITY % MATHML.xmlns.extra.attrib 
58      "%XLINK.xmlns.attrib;" >
59
60 <![%MATHML.prefixed;[
61 <!ENTITY % MATHML.pfx  "%MATHML.prefix;:" >
62 <!ENTITY % MATHML.xmlns.attrib
63      "xmlns:%MATHML.prefix;  CDATA   #FIXED '%MATHML.xmlns;'
64       %MATHML.xmlns.extra.attrib;"
65 >
66 ]]>
67 <!ENTITY % MATHML.pfx  "" >
68 <!ENTITY % MATHML.xmlns.attrib
69      "xmlns        CDATA           #FIXED '%MATHML.xmlns;'
70       %MATHML.xmlns.extra.attrib;"
71 >
72
73 <![%NS.prefixed;[
74 <!ENTITY % XHTML.xmlns.extra.attrib 
75      "%MATHML.xmlns.attrib;" >
76 ]]>
77 <!ENTITY % XHTML.xmlns.extra.attrib
78      "%XLINK.xmlns.attrib;"
79 >
80
81 <!-- Section B: MathML Qualified Names ::::::::::::::::::::::::::::: -->
82
83 <!-- 9. This section declares parameter entities used to provide
84         namespace-qualified names for all MathML element types.
85 -->
86
87 <!ENTITY % mspace.qname         "%MATHML.pfx;mspace" >
88 <!ENTITY % mprescripts.qname    "%MATHML.pfx;mprescripts" >
89 <!ENTITY % none.qname           "%MATHML.pfx;none" >
90 <!ENTITY % malignmark.qname     "%MATHML.pfx;malignmark" >
91 <!ENTITY % maligngroup.qname    "%MATHML.pfx;maligngroup" >
92 <!ENTITY % mchar.qname          "%MATHML.pfx;mchar" >
93 <!ENTITY % mglyph.qname         "%MATHML.pfx;mglyph" >
94 <!ENTITY % integers.qname       "%MATHML.pfx;integers" >
95 <!ENTITY % reals.qname          "%MATHML.pfx;reals" >
96 <!ENTITY % rationals.qname      "%MATHML.pfx;rationals" >
97 <!ENTITY % naturalnumbers.qname "%MATHML.pfx;naturalnumbers" >
98 <!ENTITY % complexes.qname      "%MATHML.pfx;complexes" >
99 <!ENTITY % primes.qname         "%MATHML.pfx;primes" >
100 <!ENTITY % exponentiale.qname   "%MATHML.pfx;exponentiale" >
101 <!ENTITY % imaginaryi.qname     "%MATHML.pfx;imaginaryi" >
102 <!ENTITY % notanumber.qname     "%MATHML.pfx;notanumber" >
103 <!ENTITY % true.qname           "%MATHML.pfx;true" >
104 <!ENTITY % false.qname          "%MATHML.pfx;false" >
105 <!ENTITY % emptyset.qname       "%MATHML.pfx;emptyset" >
106 <!ENTITY % pi.qname             "%MATHML.pfx;pi" >
107 <!ENTITY % eulergamma.qname     "%MATHML.pfx;eulergamma" >
108 <!ENTITY % infinity.qname       "%MATHML.pfx;infinity" >
109 <!ENTITY % sep.qname            "%MATHML.pfx;sep" >
110 <!ENTITY % inverse.qname        "%MATHML.pfx;inverse" >
111 <!ENTITY % ident.qname          "%MATHML.pfx;ident" >
112 <!ENTITY % compose.qname        "%MATHML.pfx;compose" >
113 <!ENTITY % exp.qname            "%MATHML.pfx;exp" >
114 <!ENTITY % abs.qname            "%MATHML.pfx;abs" >
115 <!ENTITY % arg.qname            "%MATHML.pfx;arg" >
116 <!ENTITY % real.qname           "%MATHML.pfx;real" >
117 <!ENTITY % imaginary.qname      "%MATHML.pfx;imaginary" >
118 <!ENTITY % conjugate.qname      "%MATHML.pfx;conjugate" >
119 <!ENTITY % factorial.qname      "%MATHML.pfx;factorial" >
120 <!ENTITY % minus.qname          "%MATHML.pfx;minus" >
121 <!ENTITY % quotient.qname       "%MATHML.pfx;quotient" >
122 <!ENTITY % divide.qname         "%MATHML.pfx;divide" >
123 <!ENTITY % power.qname          "%MATHML.pfx;power" >
124 <!ENTITY % rem.qname            "%MATHML.pfx;rem" >
125 <!ENTITY % plus.qname           "%MATHML.pfx;plus" >
126 <!ENTITY % max.qname            "%MATHML.pfx;max" >
127 <!ENTITY % min.qname            "%MATHML.pfx;min" >
128 <!ENTITY % times.qname          "%MATHML.pfx;times" >
129 <!ENTITY % gcd.qname            "%MATHML.pfx;gcd" >
130 <!ENTITY % lcm.qname            "%MATHML.pfx;lcm" >
131 <!ENTITY % root.qname           "%MATHML.pfx;root" >
132 <!ENTITY % exists.qname         "%MATHML.pfx;exists" >
133 <!ENTITY % forall.qname         "%MATHML.pfx;forall" >
134 <!ENTITY % and.qname            "%MATHML.pfx;and" >
135 <!ENTITY % or.qname             "%MATHML.pfx;or" >
136 <!ENTITY % xor.qname            "%MATHML.pfx;xor" >
137 <!ENTITY % not.qname            "%MATHML.pfx;not" >
138 <!ENTITY % implies.qname        "%MATHML.pfx;implies" >
139 <!ENTITY % divergence.qname     "%MATHML.pfx;divergence" >
140 <!ENTITY % grad.qname           "%MATHML.pfx;grad" >
141 <!ENTITY % curl.qname           "%MATHML.pfx;curl" >
142 <!ENTITY % laplacian.qname      "%MATHML.pfx;laplacian" >
143 <!ENTITY % log.qname            "%MATHML.pfx;log" >
144 <!ENTITY % int.qname            "%MATHML.pfx;int" >
145 <!ENTITY % diff.qname           "%MATHML.pfx;diff" >
146 <!ENTITY % partialdiff.qname    "%MATHML.pfx;partialdiff" >
147 <!ENTITY % ln.qname             "%MATHML.pfx;ln" >
148 <!ENTITY % card.qname           "%MATHML.pfx;card" >
149 <!ENTITY % setdiff.qname        "%MATHML.pfx;setdiff" >
150 <!ENTITY % union.qname          "%MATHML.pfx;union" >
151 <!ENTITY % intersect.qname      "%MATHML.pfx;intersect" >
152 <!ENTITY % sum.qname            "%MATHML.pfx;sum" >
153 <!ENTITY % product.qname        "%MATHML.pfx;product" >
154 <!ENTITY % limit.qname          "%MATHML.pfx;limit" >
155 <!ENTITY % sin.qname            "%MATHML.pfx;sin" >
156 <!ENTITY % cos.qname            "%MATHML.pfx;cos" >
157 <!ENTITY % tan.qname            "%MATHML.pfx;tan" >
158 <!ENTITY % sec.qname            "%MATHML.pfx;sec" >
159 <!ENTITY % csc.qname            "%MATHML.pfx;csc" >
160 <!ENTITY % cot.qname            "%MATHML.pfx;cot" >
161 <!ENTITY % sinh.qname           "%MATHML.pfx;sinh" >
162 <!ENTITY % cosh.qname           "%MATHML.pfx;cosh" >
163 <!ENTITY % tanh.qname           "%MATHML.pfx;tanh" >
164 <!ENTITY % sech.qname           "%MATHML.pfx;sech" >
165 <!ENTITY % csch.qname           "%MATHML.pfx;csch" >
166 <!ENTITY % coth.qname           "%MATHML.pfx;coth" >
167 <!ENTITY % arcsin.qname         "%MATHML.pfx;arcsin" >
168 <!ENTITY % arccos.qname         "%MATHML.pfx;arccos" >
169 <!ENTITY % arctan.qname         "%MATHML.pfx;arctan" >
170 <!ENTITY % arccosh.qname        "%MATHML.pfx;arccosh" >
171 <!ENTITY % arccot.qname         "%MATHML.pfx;arccot" >
172 <!ENTITY % arccoth.qname        "%MATHML.pfx;arccoth" >
173 <!ENTITY % arccsc.qname         "%MATHML.pfx;arccsc" >
174 <!ENTITY % arccsch.qname        "%MATHML.pfx;arccsch" >
175 <!ENTITY % arcsec.qname         "%MATHML.pfx;arcsec" >
176 <!ENTITY % arcsech.qname        "%MATHML.pfx;arcsech" >
177 <!ENTITY % arcsinh.qname        "%MATHML.pfx;arcsinh" >
178 <!ENTITY % arctanh.qname        "%MATHML.pfx;arctanh" >
179 <!ENTITY % arccosh.qname        "%MATHML.pfx;arccosh" >
180 <!ENTITY % mean.qname           "%MATHML.pfx;mean" >
181 <!ENTITY % sdev.qname           "%MATHML.pfx;sdev" >
182 <!ENTITY % variance.qname       "%MATHML.pfx;variance" >
183 <!ENTITY % median.qname         "%MATHML.pfx;median" >
184 <!ENTITY % mode.qname           "%MATHML.pfx;mode" >
185 <!ENTITY % moment.qname         "%MATHML.pfx;moment" >
186 <!ENTITY % determinant.qname    "%MATHML.pfx;determinant" >
187 <!ENTITY % transpose.qname      "%MATHML.pfx;transpose" >
188 <!ENTITY % vectorproduct.qname  "%MATHML.pfx;vectorproduct" >
189 <!ENTITY % scalarproduct.qname  "%MATHML.pfx;scalarproduct" >
190 <!ENTITY % outerproduct.qname   "%MATHML.pfx;outerproduct" >
191 <!ENTITY % selector.qname       "%MATHML.pfx;selector" >
192 <!ENTITY % neq.qname            "%MATHML.pfx;neq" >
193 <!ENTITY % eq.qname             "%MATHML.pfx;eq" >
194 <!ENTITY % equivalent.qname     "%MATHML.pfx;equivalent" >
195 <!ENTITY % approx.qname         "%MATHML.pfx;approx" >
196 <!ENTITY % gt.qname             "%MATHML.pfx;gt" >
197 <!ENTITY % lt.qname             "%MATHML.pfx;lt" >
198 <!ENTITY % geq.qname            "%MATHML.pfx;geq" >
199 <!ENTITY % leq.qname            "%MATHML.pfx;leq" >
200 <!ENTITY % in.qname             "%MATHML.pfx;in" >
201 <!ENTITY % notin.qname          "%MATHML.pfx;notin" >
202 <!ENTITY % notsubset.qname      "%MATHML.pfx;notsubset" >
203 <!ENTITY % notprsubset.qname    "%MATHML.pfx;notprsubset" >
204 <!ENTITY % subset.qname         "%MATHML.pfx;subset" >
205 <!ENTITY % prsubset.qname       "%MATHML.pfx;prsubset" >
206 <!ENTITY % tendsto.qname        "%MATHML.pfx;tendsto" >
207 <!ENTITY % ci.qname             "%MATHML.pfx;ci" >
208 <!ENTITY % csymbol.qname        "%MATHML.pfx;csymbol" >
209 <!ENTITY % cn.qname             "%MATHML.pfx;cn" >
210 <!ENTITY % apply.qname          "%MATHML.pfx;apply" >
211 <!ENTITY % reln.qname           "%MATHML.pfx;reln" >
212 <!ENTITY % lambda.qname         "%MATHML.pfx;lambda" >
213 <!ENTITY % condition.qname      "%MATHML.pfx;condition" >
214 <!ENTITY % declare.qname        "%MATHML.pfx;declare" >
215 <!ENTITY % type.qname           "%MATHML.pfx;type" >
216 <!ENTITY % semantics.qname      "%MATHML.pfx;semantics" >
217 <!ENTITY % annotation.qname     "%MATHML.pfx;annotation" >
218 <!ENTITY % annotation-xml.qname "%MATHML.pfx;annotation-xml" >
219 <!ENTITY % interval.qname       "%MATHML.pfx;interval" >
220 <!ENTITY % set.qname            "%MATHML.pfx;set" >
221 <!ENTITY % list.qname           "%MATHML.pfx;list" >
222 <!ENTITY % vector.qname         "%MATHML.pfx;vector" >
223 <!ENTITY % matrix.qname         "%MATHML.pfx;matrix" >
224 <!ENTITY % matrixrow.qname      "%MATHML.pfx;matrixrow" >
225 <!ENTITY % fn.qname             "%MATHML.pfx;fn" >
226 <!ENTITY % lowlimit.qname       "%MATHML.pfx;lowlimit" >
227 <!ENTITY % uplimit.qname        "%MATHML.pfx;uplimit" >
228 <!ENTITY % bvar.qname           "%MATHML.pfx;bvar" >
229 <!ENTITY % degree.qname         "%MATHML.pfx;degree" >
230 <!ENTITY % logbase.qname        "%MATHML.pfx;logbase" >
231 <!ENTITY % mstyle.qname         "%MATHML.pfx;mstyle" >
232 <!ENTITY % merror.qname         "%MATHML.pfx;merror" >
233 <!ENTITY % mphantom.qname       "%MATHML.pfx;mphantom" >
234 <!ENTITY % mrow.qname           "%MATHML.pfx;mrow" >
235 <!ENTITY % mfrac.qname          "%MATHML.pfx;mfrac" >
236 <!ENTITY % msqrt.qname          "%MATHML.pfx;msqrt" >
237 <!ENTITY % menclose.qname       "%MATHML.pfx;menclose" >
238 <!ENTITY % mroot.qname          "%MATHML.pfx;mroot" >
239 <!ENTITY % msub.qname           "%MATHML.pfx;msub" >
240 <!ENTITY % msup.qname           "%MATHML.pfx;msup" >
241 <!ENTITY % msubsup.qname        "%MATHML.pfx;msubsup" >
242 <!ENTITY % mmultiscripts.qname  "%MATHML.pfx;mmultiscripts" >
243 <!ENTITY % munder.qname         "%MATHML.pfx;munder" >
244 <!ENTITY % mover.qname          "%MATHML.pfx;mover" >
245 <!ENTITY % munderover.qname     "%MATHML.pfx;munderover" >
246 <!ENTITY % mtable.qname         "%MATHML.pfx;mtable" >
247 <!ENTITY % mtr.qname            "%MATHML.pfx;mtr" >
248 <!ENTITY % mlabeledtr.qname     "%MATHML.pfx;mlabeledtr" >
249 <!ENTITY % mtd.qname            "%MATHML.pfx;mtd" >
250 <!ENTITY % maction.qname        "%MATHML.pfx;maction" >
251 <!ENTITY % mfenced.qname        "%MATHML.pfx;mfenced" >
252 <!ENTITY % mpadded.qname        "%MATHML.pfx;mpadded" >
253 <!ENTITY % mi.qname             "%MATHML.pfx;mi" >
254 <!ENTITY % mn.qname             "%MATHML.pfx;mn" >
255 <!ENTITY % mo.qname             "%MATHML.pfx;mo" >
256 <!ENTITY % mtext.qname          "%MATHML.pfx;mtext" >
257 <!ENTITY % ms.qname             "%MATHML.pfx;ms" >
258 <!ENTITY % math.qname           "%MATHML.pfx;math" >
259
260
261 <!-- ignores subsequent instantiation of this module when
262      used as external subset rather than module fragment.
263      NOTE: Do not modify this parameter entity, otherwise
264      a recursive parsing situation may result.
265 -->
266 <!ENTITY % mathml-qname.module "IGNORE" >
267
268 <!-- end of template-qname-1.mod -->