Project

Profile

Help

Download (40.5 KB) Statistics
| Branch: | Tag: | Revision:

he / latest10 / hej / net / sf / saxon / data / w3c / mathml / mathml3 / mathml3.dtd @ 02f8308b

1 02f8308b O'Neil Delpratt
2
<!-- MathML 3.0 DTD  ....................................................... -->
3
<!-- file: mathml3.dtd
4
-->
5
6
<!-- MathML 3.0 DTD
7
8
     This is the Mathematical Markup Language (MathML) 3.0, an XML
9
     application for describing mathematical notation and capturing
10
     both its structure and content.
11
12
     Copyright &#xa9; 1998-2009 W3C&#xae; (MIT, ERCIM, Keio), All Rights 
13
     Reserved. W3C liability, trademark, document use and software
14
     licensing rules apply. 
15
16
     Permission to use, copy, modify and distribute the MathML 2.0 DTD and
17
     its accompanying documentation for any purpose and without fee is
18
     hereby granted in perpetuity, provided that the above copyright notice
19
     and this paragraph appear in all copies.  The copyright holders make
20
     no representation about the suitability of the DTD for any purpose.
21
22
     It is provided "as is" without expressed or implied warranty.
23
24
     This entity may be identified by the PUBLIC and SYSTEM identifiers:
25
26
       PUBLIC "-//W3C//DTD MathML 3.0//EN"
27
       SYSTEM "mathml3.dtd"
28
29
     Revisions: editor and revision history at EOF
30
-->
31
<!-- Entity used to enable marked sections which enforces stricter		
32
     checking of MathML syntax rules		
33
-->
34
<!ENTITY % MathMLstrict "IGNORE">		
35
36
<!-- MathML Qualified Names module ............................... -->
37
<!ENTITY % mathml-qname.module "INCLUDE" >
38
<![%mathml-qname.module;[
39
<!ENTITY % mathml-qname.mod
40
     PUBLIC "-//W3C//ENTITIES MathML 3.0 Qualified Names 1.0//EN"
41
            "mathml3-qname.mod" >
42
%mathml-qname.mod;]]>
43
44
<!-- if %NS.prefixed; is INCLUDE, include all NS attributes, 
45
     otherwise just those associated with MathML
46
-->
47
<![%NS.prefixed;[
48
  <!ENTITY % MATHML.NamespaceDecl.attrib 
49
         "%NamespaceDecl.attrib;"
50
>
51
]]>
52
<!ENTITY % MATHML.NamespaceDecl.attrib 
53
     "%MATHML.xmlns.attrib;"
54
>
55
56
57
<!-- MathML Character Entities .............................................. -->
58
<!ENTITY % mathml-charent.module "INCLUDE" >
59
<![%mathml-charent.module;[
60
61
62
<!ENTITY % isobox PUBLIC "-//W3C//ENTITIES Box and Line Drawing//EN" "isobox.ent">
63
%isobox;
64
<!ENTITY % isocyr1 PUBLIC "-//W3C//ENTITIES Russian Cyrillic//EN" "isocyr1.ent">
65
%isocyr1;
66
<!ENTITY % isocyr2 PUBLIC "-//W3C//ENTITIES Non-Russian Cyrillic//EN" "isocyr2.ent">
67
%isocyr2;
68
<!ENTITY % isodia PUBLIC "-//W3C//ENTITIES Diacritical Marks//EN" "isodia.ent">
69
%isodia;
70
<!ENTITY % isolat1 PUBLIC "-//W3C//ENTITIES Added Latin 1//EN" "isolat1.ent">
71
%isolat1;
72
<!ENTITY % isolat2 PUBLIC "-//W3C//ENTITIES Added Latin 2//EN" "isolat2.ent">
73
%isolat2;
74
<!ENTITY % isonum PUBLIC "-//W3C//ENTITIES Numeric and Special Graphic//EN" "isonum.ent">
75
%isonum;
76
<!ENTITY % isopub PUBLIC "-//W3C//ENTITIES Publishing//EN" "isopub.ent">
77
%isopub;
78
<!ENTITY % isoamsa PUBLIC "-//W3C//ENTITIES Added Math Symbols: Arrow Relations//EN" "isoamsa.ent">
79
%isoamsa;
80
<!ENTITY % isoamsb PUBLIC "-//W3C//ENTITIES Added Math Symbols: Binary Operators//EN" "isoamsb.ent">
81
%isoamsb;
82
<!ENTITY % isoamsc PUBLIC "-//W3C//ENTITIES Added Math Symbols: Delimiters//EN" "isoamsc.ent">
83
%isoamsc;
84
<!ENTITY % isoamsn PUBLIC "-//W3C//ENTITIES Added Math Symbols: Negated Relations//EN" "isoamsn.ent">
85
%isoamsn;
86
<!ENTITY % isoamso PUBLIC "-//W3C//ENTITIES Added Math Symbols: Ordinary//EN" "isoamso.ent">
87
%isoamso;
88
<!ENTITY % isoamsr PUBLIC "-//W3C//ENTITIES Added Math Symbols: Relations//EN" "isoamsr.ent">
89
%isoamsr;
90
<!ENTITY % isogrk3 PUBLIC "-//W3C//ENTITIES Greek Symbols//EN" "isogrk3.ent">
91
%isogrk3;
92
<!ENTITY % isomfrk PUBLIC "-//W3C//ENTITIES Math Alphabets: Fraktur//EN" "isomfrk.ent">
93
%isomfrk;
94
<!ENTITY % isomopf PUBLIC "-//W3C//ENTITIES Math Alphabets: Open Face//EN" "isomopf.ent">
95
%isomopf;
96
<!ENTITY % isomscr PUBLIC "-//W3C//ENTITIES Math Alphabets: Script//EN" "isomscr.ent">
97
%isomscr;
98
<!ENTITY % isotech PUBLIC "-//W3C//ENTITIES General Technical//EN" "isotech.ent">
99
%isotech;
100
<!ENTITY % mmlextra PUBLIC "-//W3C//ENTITIES Additional MathML Symbols//EN" "mmlextra.ent">
101
%mmlextra;
102
<!ENTITY % mmlalias PUBLIC "-//W3C//ENTITIES MathML Aliases//EN" "mmlalias.ent">
103
%mmlalias;
104
105
<!-- end of MathML Character Entity section -->]]>
106
107
108
109
<!ENTITY % MalignExpression "%maligngroup.qname;|%malignmark.qname;">
110
111
<!ENTITY % TokenExpression "%mi.qname;|%mn.qname;|%mo.qname;|%mtext.qname;
112
                            |%mspace.qname;|%ms.qname;">
113
114
<!ENTITY % PresentationExpression "%TokenExpression;|%MalignExpression;
115
                                   |%mrow.qname;|%mfrac.qname;|%msqrt.qname;
116
                                   |%mroot.qname;|%mstyle.qname;
117
                                   |%merror.qname;|%mpadded.qname;
118
                                   |%mphantom.qname;|%mfenced.qname;
119
                                   |%menclose.qname;|%msub.qname;|%msup.qname;
120
                                   |%msubsup.qname;|%munder.qname;
121
                                   |%mover.qname;|%munderover.qname;
122
                                   |%mmultiscripts.qname;|%mtable.qname;
123
                                   |%mstack.qname;|%mlongdiv.qname;
124
                                   |%maction.qname;">
125
126
<!-- end of mathml3-strict-content.rng -->
127
128
<!ENTITY % cn.content "(#PCDATA|%mglyph.qname;|%sep.qname;
129
                        |%PresentationExpression;)*">
130
131
<!-- start of mathml3-content.rng -->
132
133
<!-- start of mathml3-strict-content.rng -->
134
135
<!ELEMENT %cn.qname; %cn.content;>
136
137
<!ENTITY % ci.content "(#PCDATA|%mglyph.qname;
138
                        |%PresentationExpression;)*">
139
140
<!ELEMENT %ci.qname; %ci.content;>
141
142
<!ENTITY % csymbol.content "(#PCDATA|%mglyph.qname;
143
                             |%PresentationExpression;)*">
144
145
<!ELEMENT %csymbol.qname; %csymbol.content;>
146
147
<!ENTITY % SymbolName "#PCDATA">
148
149
<!ENTITY % BvarQ "(%bvar.qname;)*">
150
151
<!ENTITY % DomainQ "(%domainofapplication.qname;|%condition.qname;
152
                     |(%lowlimit.qname;,%uplimit.qname;?))*">
153
154
<!ENTITY % constant-arith.class "%exponentiale.qname;|%imaginaryi.qname;
155
                                 |%notanumber.qname;|%true.qname;
156
                                 |%false.qname;|%pi.qname;|%eulergamma.qname;
157
                                 |%infinity.qname;">
158
159
<!ENTITY % constant-set.class "%integers.qname;|%reals.qname;
160
                               |%rationals.qname;|%naturalnumbers.qname;
161
                               |%complexes.qname;|%primes.qname;
162
                               |%emptyset.qname;">
163
164
<!ENTITY % binary-linalg.class "%vectorproduct.qname;|%scalarproduct.qname;
165
                                |%outerproduct.qname;">
166
167
<!ENTITY % nary-linalg.class "%selector.qname;">
168
169
<!ENTITY % unary-linalg.class "%determinant.qname;|%transpose.qname;">
170
171
<!ENTITY % nary-constructor.class "%vector.qname;|%matrix.qname;
172
                                   |%matrixrow.qname;">
173
174
<!ENTITY % nary-stats.class "%mean.qname;|%sdev.qname;|%variance.qname;
175
                             |%median.qname;|%mode.qname;">
176
177
<!ENTITY % unary-elementary.class "%sin.qname;|%cos.qname;|%tan.qname;
178
                                   |%sec.qname;|%csc.qname;|%cot.qname;
179
                                   |%sinh.qname;|%cosh.qname;|%tanh.qname;
180
                                   |%sech.qname;|%csch.qname;|%coth.qname;
181
                                   |%arcsin.qname;|%arccos.qname;
182
                                   |%arctan.qname;|%arccosh.qname;
183
                                   |%arccot.qname;|%arccoth.qname;
184
                                   |%arccsc.qname;|%arccsch.qname;
185
                                   |%arcsec.qname;|%arcsech.qname;
186
                                   |%arcsinh.qname;|%arctanh.qname;">
187
188
<!ENTITY % limit.class "%limit.qname;">
189
190
<!ENTITY % product.class "%product.qname;">
191
192
<!ENTITY % sum.class "%sum.qname;">
193
194
<!ENTITY % unary-set.class "%card.qname;">
195
196
<!ENTITY % nary-set-reln.class "%subset.qname;|%prsubset.qname;">
197
198
<!ENTITY % binary-set.class "%in.qname;|%notin.qname;|%notsubset.qname;
199
                             |%notprsubset.qname;|%setdiff.qname;">
200
201
<!ENTITY % nary-set.class "%union.qname;|%intersect.qname;
202
                           |%cartesianproduct.qname;">
203
204
<!ENTITY % nary-setlist-constructor.class "%set.qname;|%list.qname;">
205
206
<!ENTITY % unary-veccalc.class "%divergence.qname;|%grad.qname;|%curl.qname;
207
                                |%laplacian.qname;">
208
209
<!ENTITY % partialdiff.class "%partialdiff.qname;">
210
211
<!ENTITY % Differential-Operator.class "%diff.qname;">
212
213
<!ENTITY % int.class "%int.qname;">
214
215
<!ENTITY % binary-reln.class "%neq.qname;|%approx.qname;|%factorof.qname;
216
                              |%tendsto.qname;">
217
218
<!ENTITY % nary-reln.class "%eq.qname;|%gt.qname;|%lt.qname;|%geq.qname;
219
                            |%leq.qname;">
220
221
<!ENTITY % quantifier.class "%forall.qname;|%exists.qname;">
222
223
<!ENTITY % binary-logical.class "%implies.qname;|%equivalent.qname;">
224
225
<!ENTITY % unary-logical.class "%not.qname;">
226
227
<!ENTITY % nary-logical.class "%and.qname;|%or.qname;|%xor.qname;">
228
229
<!ENTITY % nary-arith.class "%plus.qname;|%times.qname;|%gcd.qname;
230
                             |%lcm.qname;">
231
232
<!ENTITY % nary-minmax.class "%max.qname;|%min.qname;">
233
234
<!ENTITY % unary-arith.class "%factorial.qname;|%abs.qname;|%conjugate.qname;
235
                              |%arg.qname;|%real.qname;|%imaginary.qname;
236
                              |%floor.qname;|%ceiling.qname;|%exp.qname;">
237
238
<!ENTITY % binary-arith.class "%quotient.qname;|%divide.qname;|%minus.qname;
239
                               |%power.qname;|%rem.qname;|%root.qname;">
240
241
<!ENTITY % nary-functional.class "%compose.qname;">
242
243
<!ENTITY % lambda.class "%lambda.qname;">
244
245
<!ENTITY % unary-functional.class "%inverse.qname;|%ident.qname;
246
                                   |%domain.qname;|%codomain.qname;
247
                                   |%image.qname;|%ln.qname;|%log.qname;
248
                                   |%moment.qname;">
249
250
<!ENTITY % interval.class "%interval.qname;">
251
252
<!ENTITY % DeprecatedContExp "%reln.qname;|%fn.qname;|%declare.qname;">
253
254
<!ENTITY % CommonDeprecatedAtt "
255
  other CDATA #IMPLIED">
256
257
<!ENTITY % Qualifier "(%DomainQ;)|%degree.qname;|%momentabout.qname;
258
                      |%logbase.qname;">
259
260
<!ENTITY % ContExp "%piecewise.qname;|%DeprecatedContExp;|%interval.class;
261
                    |%unary-functional.class;|%lambda.class;
262
                    |%nary-functional.class;|%binary-arith.class;
263
                    |%unary-arith.class;|%nary-minmax.class;
264
                    |%nary-arith.class;|%nary-logical.class;
265
                    |%unary-logical.class;|%binary-logical.class;
266
                    |%quantifier.class;|%nary-reln.class;
267
                    |%binary-reln.class;|%int.class;
268
                    |%Differential-Operator.class;|%partialdiff.class;
269
                    |%unary-veccalc.class;
270
                    |%nary-setlist-constructor.class;|%nary-set.class;
271
                    |%binary-set.class;|%nary-set-reln.class;
272
                    |%unary-set.class;|%sum.class;|%product.class;
273
                    |%limit.class;|%unary-elementary.class;
274
                    |%nary-stats.class;|%nary-constructor.class;
275
                    |%unary-linalg.class;|%nary-linalg.class;
276
                    |%binary-linalg.class;|%constant-set.class;
277
                    |%constant-arith.class;|%semantics.qname;|%cn.qname;
278
                    |%ci.qname;|%csymbol.qname;|%apply.qname;|%bind.qname;
279
                    |%share.qname;|%cerror.qname;|%cbytes.qname;">
280
281
<!ENTITY % CommonAtt "
282
%MATHML.NamespaceDecl.attrib;
283
   %XLINK.prefix;:href   CDATA #IMPLIED	
284
  %XLINK.prefix;:type   CDATA #IMPLIED
285
  xml:lang   CDATA #IMPLIED
286
  xml:space   (default|preserve) #IMPLIED
287
  id CDATA #IMPLIED
288
  xref CDATA #IMPLIED
289
  class CDATA #IMPLIED
290
  style CDATA #IMPLIED
291
  href CDATA #IMPLIED
292
  %CommonDeprecatedAtt;">
293
294
<!ENTITY % apply.content "(%ContExp;),(%BvarQ;),(%Qualifier;)*,
295
                          (%ContExp;)*">
296
297
<!ELEMENT %apply.qname; (%apply.content;)>
298
<!ATTLIST %apply.qname;
299
  %CommonAtt;>
300
301
<!ENTITY % bind.content "%apply.content;">
302
303
<!ELEMENT %bind.qname; (%bind.content;)>
304
<!ATTLIST %bind.qname;
305
  %CommonAtt;>
306
307
<!ENTITY % Share.class "%share.qname;">
308
309
<!ENTITY % src "
310
  src CDATA #IMPLIED">
311
312
<!ELEMENT %share.qname; EMPTY>
313
<!ATTLIST %share.qname;
314
  %CommonAtt;
315
  %src;>
316
317
<!ENTITY % Error.class "%cerror.qname;">
318
319
<!ELEMENT %cerror.qname; (%csymbol.qname;,(%ContExp;)*)>
320
321
<!ATTLIST %cerror.qname;
322
  %CommonAtt;>
323
324
<!ENTITY % Cbytes.class "%cbytes.qname;">
325
326
<!ELEMENT %cbytes.qname; (#PCDATA)>
327
328
<!ENTITY % base64 "CDATA">
329
330
<!ENTITY % Cs.class "%cs.qname;">
331
332
<!ELEMENT %cs.qname; (#PCDATA)>
333
334
<!ENTITY % DefEncAtt "
335
  encoding CDATA #IMPLIED
336
  definitionURL CDATA #IMPLIED">
337
338
<!ATTLIST %cn.qname;
339
  %CommonAtt;
340
  %DefEncAtt;
341
  type CDATA #IMPLIED
342
  base CDATA #IMPLIED>
343
344
<!ATTLIST %ci.qname;
345
  %CommonAtt;
346
  %DefEncAtt;
347
  type CDATA #IMPLIED>
348
349
<!ENTITY % ci.type "
350
  type CDATA #REQUIRED">
351
352
<!ATTLIST %csymbol.qname;
353
  %CommonAtt;
354
  %DefEncAtt;
355
  type CDATA #IMPLIED
356
  cd CDATA #IMPLIED>
357
358
<!ELEMENT %bvar.qname; ((%degree.qname;,(%ci.qname;|%semantics.qname;))
359
                      |((%ci.qname;|%semantics.qname;),(%degree.qname;)?))>
360
361
<!ATTLIST %cbytes.qname;
362
  %CommonAtt;
363
  %DefEncAtt;>
364
365
<!ATTLIST %cs.qname;
366
  %CommonAtt;
367
  %DefEncAtt;>
368
369
<!ENTITY % base "
370
  base CDATA #REQUIRED">
371
372
<!ELEMENT %sep.qname; EMPTY>
373
374
<!ELEMENT %domainofapplication.qname; (%ContExp;)>
375
376
<!ELEMENT %condition.qname; (%ContExp;)>
377
378
<!ELEMENT %uplimit.qname; (%ContExp;)>
379
380
<!ELEMENT %lowlimit.qname; (%ContExp;)>
381
382
<!ELEMENT %degree.qname; (%ContExp;)>
383
384
<!ELEMENT %momentabout.qname; (%ContExp;)>
385
386
<!ELEMENT %logbase.qname; (%ContExp;)>
387
388
<!ENTITY % type "
389
  type CDATA #REQUIRED">
390
391
<!ENTITY % order "
392
  order (numeric|lexicographic) #REQUIRED">
393
394
<!ENTITY % closure "
395
  closure CDATA #REQUIRED">
396
397
<!ELEMENT %piecewise.qname; (%piece.qname;|%otherwise.qname;)*>
398
<!ATTLIST %piecewise.qname;
399
  %CommonAtt;
400
  %DefEncAtt;>
401
402
<!ELEMENT %piece.qname; ((%ContExp;),(%ContExp;))>
403
<!ATTLIST %piece.qname;
404
  %CommonAtt;
405
  %DefEncAtt;>
406
407
<!ELEMENT %otherwise.qname; (%ContExp;)>
408
<!ATTLIST %otherwise.qname;
409
  %CommonAtt;
410
  %DefEncAtt;>
411
412
<!ELEMENT %reln.qname; (%ContExp;)*>
413
414
<!ELEMENT %fn.qname; (%ContExp;)>
415
416
<!ELEMENT %declare.qname; (%ContExp;)+>
417
<!ATTLIST %declare.qname;
418
  type CDATA #IMPLIED
419
  scope CDATA #IMPLIED
420
  nargs CDATA #IMPLIED
421
  occurrence (prefix|infix|function-model) #IMPLIED
422
  %DefEncAtt;>
423
424
<!ELEMENT %interval.qname; ((%ContExp;),(%ContExp;))>
425
<!ATTLIST %interval.qname;
426
  %CommonAtt;
427
  %DefEncAtt;
428
  closure CDATA #IMPLIED>
429
430
<!ELEMENT %inverse.qname; EMPTY>
431
<!ATTLIST %inverse.qname;
432
  %CommonAtt;
433
  %DefEncAtt;>
434
435
<!ELEMENT %ident.qname; EMPTY>
436
<!ATTLIST %ident.qname;
437
  %CommonAtt;
438
  %DefEncAtt;>
439
440
<!ELEMENT %domain.qname; EMPTY>
441
<!ATTLIST %domain.qname;
442
  %CommonAtt;
443
  %DefEncAtt;>
444
445
<!ELEMENT %codomain.qname; EMPTY>
446
<!ATTLIST %codomain.qname;
447
  %CommonAtt;
448
  %DefEncAtt;>
449
450
<!ELEMENT %image.qname; EMPTY>
451
<!ATTLIST %image.qname;
452
  %CommonAtt;
453
  %DefEncAtt;>
454
455
<!ELEMENT %ln.qname; EMPTY>
456
<!ATTLIST %ln.qname;
457
  %CommonAtt;
458
  %DefEncAtt;>
459
460
<!ELEMENT %log.qname; EMPTY>
461
<!ATTLIST %log.qname;
462
  %CommonAtt;
463
  %DefEncAtt;>
464
465
<!ELEMENT %moment.qname; EMPTY>
466
<!ATTLIST %moment.qname;
467
  %CommonAtt;
468
  %DefEncAtt;>
469
470
<!ELEMENT %lambda.qname; ((%BvarQ;),(%DomainQ;),(%ContExp;))>
471
<!ATTLIST %lambda.qname;
472
  %CommonAtt;
473
  %DefEncAtt;>
474
475
<!ELEMENT %compose.qname; EMPTY>
476
<!ATTLIST %compose.qname;
477
  %CommonAtt;
478
  %DefEncAtt;>
479
480
<!ELEMENT %quotient.qname; EMPTY>
481
<!ATTLIST %quotient.qname;
482
  %CommonAtt;
483
  %DefEncAtt;>
484
485
<!ELEMENT %divide.qname; EMPTY>
486
<!ATTLIST %divide.qname;
487
  %CommonAtt;
488
  %DefEncAtt;>
489
490
<!ELEMENT %minus.qname; EMPTY>
491
<!ATTLIST %minus.qname;
492
  %CommonAtt;
493
  %DefEncAtt;>
494
495
<!ELEMENT %power.qname; EMPTY>
496
<!ATTLIST %power.qname;
497
  %CommonAtt;
498
  %DefEncAtt;>
499
500
<!ELEMENT %rem.qname; EMPTY>
501
<!ATTLIST %rem.qname;
502
  %CommonAtt;
503
  %DefEncAtt;>
504
505
<!ELEMENT %root.qname; EMPTY>
506
<!ATTLIST %root.qname;
507
  %CommonAtt;
508
  %DefEncAtt;>
509
510
<!ELEMENT %factorial.qname; EMPTY>
511
<!ATTLIST %factorial.qname;
512
  %CommonAtt;
513
  %DefEncAtt;>
514
515
<!ELEMENT %abs.qname; EMPTY>
516
<!ATTLIST %abs.qname;
517
  %CommonAtt;
518
  %DefEncAtt;>
519
520
<!ELEMENT %conjugate.qname; EMPTY>
521
<!ATTLIST %conjugate.qname;
522
  %CommonAtt;
523
  %DefEncAtt;>
524
525
<!ELEMENT %arg.qname; EMPTY>
526
<!ATTLIST %arg.qname;
527
  %CommonAtt;
528
  %DefEncAtt;>
529
530
<!ELEMENT %real.qname; EMPTY>
531
<!ATTLIST %real.qname;
532
  %CommonAtt;
533
  %DefEncAtt;>
534
535
<!ELEMENT %imaginary.qname; EMPTY>
536
<!ATTLIST %imaginary.qname;
537
  %CommonAtt;
538
  %DefEncAtt;>
539
540
<!ELEMENT %floor.qname; EMPTY>
541
<!ATTLIST %floor.qname;
542
  %CommonAtt;
543
  %DefEncAtt;>
544
545
<!ELEMENT %ceiling.qname; EMPTY>
546
<!ATTLIST %ceiling.qname;
547
  %CommonAtt;
548
  %DefEncAtt;>
549
550
<!ELEMENT %exp.qname; EMPTY>
551
<!ATTLIST %exp.qname;
552
  %CommonAtt;
553
  %DefEncAtt;>
554
555
<!ELEMENT %max.qname; EMPTY>
556
<!ATTLIST %max.qname;
557
  %CommonAtt;
558
  %DefEncAtt;>
559
560
<!ELEMENT %min.qname; EMPTY>
561
<!ATTLIST %min.qname;
562
  %CommonAtt;
563
  %DefEncAtt;>
564
565
<!ELEMENT %plus.qname; EMPTY>
566
<!ATTLIST %plus.qname;
567
  %CommonAtt;
568
  %DefEncAtt;>
569
570
<!ELEMENT %times.qname; EMPTY>
571
<!ATTLIST %times.qname;
572
  %CommonAtt;
573
  %DefEncAtt;>
574
575
<!ELEMENT %gcd.qname; EMPTY>
576
<!ATTLIST %gcd.qname;
577
  %CommonAtt;
578
  %DefEncAtt;>
579
580
<!ELEMENT %lcm.qname; EMPTY>
581
<!ATTLIST %lcm.qname;
582
  %CommonAtt;
583
  %DefEncAtt;>
584
585
<!ELEMENT %and.qname; EMPTY>
586
<!ATTLIST %and.qname;
587
  %CommonAtt;
588
  %DefEncAtt;>
589
590
<!ELEMENT %or.qname; EMPTY>
591
<!ATTLIST %or.qname;
592
  %CommonAtt;
593
  %DefEncAtt;>
594
595
<!ELEMENT %xor.qname; EMPTY>
596
<!ATTLIST %xor.qname;
597
  %CommonAtt;
598
  %DefEncAtt;>
599
600
<!ELEMENT %not.qname; EMPTY>
601
<!ATTLIST %not.qname;
602
  %CommonAtt;
603
  %DefEncAtt;>
604
605
<!ELEMENT %implies.qname; EMPTY>
606
<!ATTLIST %implies.qname;
607
  %CommonAtt;
608
  %DefEncAtt;>
609
610
<!ELEMENT %equivalent.qname; EMPTY>
611
<!ATTLIST %equivalent.qname;
612
  %CommonAtt;
613
  %DefEncAtt;>
614
615
<!ELEMENT %forall.qname; EMPTY>
616
<!ATTLIST %forall.qname;
617
  %CommonAtt;
618
  %DefEncAtt;>
619
620
<!ELEMENT %exists.qname; EMPTY>
621
<!ATTLIST %exists.qname;
622
  %CommonAtt;
623
  %DefEncAtt;>
624
625
<!ELEMENT %eq.qname; EMPTY>
626
<!ATTLIST %eq.qname;
627
  %CommonAtt;
628
  %DefEncAtt;>
629
630
<!ELEMENT %gt.qname; EMPTY>
631
<!ATTLIST %gt.qname;
632
  %CommonAtt;
633
  %DefEncAtt;>
634
635
<!ELEMENT %lt.qname; EMPTY>
636
<!ATTLIST %lt.qname;
637
  %CommonAtt;
638
  %DefEncAtt;>
639
640
<!ELEMENT %geq.qname; EMPTY>
641
<!ATTLIST %geq.qname;
642
  %CommonAtt;
643
  %DefEncAtt;>
644
645
<!ELEMENT %leq.qname; EMPTY>
646
<!ATTLIST %leq.qname;
647
  %CommonAtt;
648
  %DefEncAtt;>
649
650
<!ELEMENT %neq.qname; EMPTY>
651
<!ATTLIST %neq.qname;
652
  %CommonAtt;
653
  %DefEncAtt;>
654
655
<!ELEMENT %approx.qname; EMPTY>
656
<!ATTLIST %approx.qname;
657
  %CommonAtt;
658
  %DefEncAtt;>
659
660
<!ELEMENT %factorof.qname; EMPTY>
661
<!ATTLIST %factorof.qname;
662
  %CommonAtt;
663
  %DefEncAtt;>
664
665
<!ELEMENT %tendsto.qname; EMPTY>
666
<!ATTLIST %tendsto.qname;
667
  %CommonAtt;
668
  %DefEncAtt;
669
  type CDATA #IMPLIED>
670
671
<!ELEMENT %int.qname; EMPTY>
672
<!ATTLIST %int.qname;
673
  %CommonAtt;
674
  %DefEncAtt;>
675
676
<!ELEMENT %diff.qname; EMPTY>
677
<!ATTLIST %diff.qname;
678
  %CommonAtt;
679
  %DefEncAtt;>
680
681
<!ELEMENT %partialdiff.qname; EMPTY>
682
<!ATTLIST %partialdiff.qname;
683
  %CommonAtt;
684
  %DefEncAtt;>
685
686
<!ELEMENT %divergence.qname; EMPTY>
687
<!ATTLIST %divergence.qname;
688
  %CommonAtt;
689
  %DefEncAtt;>
690
691
<!ELEMENT %grad.qname; EMPTY>
692
<!ATTLIST %grad.qname;
693
  %CommonAtt;
694
  %DefEncAtt;>
695
696
<!ELEMENT %curl.qname; EMPTY>
697
<!ATTLIST %curl.qname;
698
  %CommonAtt;
699
  %DefEncAtt;>
700
701
<!ELEMENT %laplacian.qname; EMPTY>
702
<!ATTLIST %laplacian.qname;
703
  %CommonAtt;
704
  %DefEncAtt;>
705
706
<!ELEMENT %set.qname; ((%BvarQ;)*,(%DomainQ;)*,(%ContExp;)*)>
707
<!ATTLIST %set.qname;
708
  %CommonAtt;
709
  %DefEncAtt;
710
  type CDATA #IMPLIED>
711
712
<!ELEMENT %list.qname; ((%BvarQ;)*,(%DomainQ;)*,(%ContExp;)*)>
713
<!ATTLIST %list.qname;
714
  %CommonAtt;
715
  %DefEncAtt;
716
  order (numeric|lexicographic) #IMPLIED>
717
718
<!ELEMENT %union.qname; EMPTY>
719
<!ATTLIST %union.qname;
720
  %CommonAtt;
721
  %DefEncAtt;>
722
723
<!ELEMENT %intersect.qname; EMPTY>
724
<!ATTLIST %intersect.qname;
725
  %CommonAtt;
726
  %DefEncAtt;>
727
728
<!ELEMENT %cartesianproduct.qname; EMPTY>
729
<!ATTLIST %cartesianproduct.qname;
730
  %CommonAtt;
731
  %DefEncAtt;>
732
733
<!ELEMENT %in.qname; EMPTY>
734
<!ATTLIST %in.qname;
735
  %CommonAtt;
736
  %DefEncAtt;>
737
738
<!ELEMENT %notin.qname; EMPTY>
739
<!ATTLIST %notin.qname;
740
  %CommonAtt;
741
  %DefEncAtt;>
742
743
<!ELEMENT %notsubset.qname; EMPTY>
744
<!ATTLIST %notsubset.qname;
745
  %CommonAtt;
746
  %DefEncAtt;>
747
748
<!ELEMENT %notprsubset.qname; EMPTY>
749
<!ATTLIST %notprsubset.qname;
750
  %CommonAtt;
751
  %DefEncAtt;>
752
753
<!ELEMENT %setdiff.qname; EMPTY>
754
<!ATTLIST %setdiff.qname;
755
  %CommonAtt;
756
  %DefEncAtt;>
757
758
<!ELEMENT %subset.qname; EMPTY>
759
<!ATTLIST %subset.qname;
760
  %CommonAtt;
761
  %DefEncAtt;>
762
763
<!ELEMENT %prsubset.qname; EMPTY>
764
<!ATTLIST %prsubset.qname;
765
  %CommonAtt;
766
  %DefEncAtt;>
767
768
<!ELEMENT %card.qname; EMPTY>
769
<!ATTLIST %card.qname;
770
  %CommonAtt;
771
  %DefEncAtt;>
772
773
<!ELEMENT %sum.qname; EMPTY>
774
<!ATTLIST %sum.qname;
775
  %CommonAtt;
776
  %DefEncAtt;>
777
778
<!ELEMENT %product.qname; EMPTY>
779
<!ATTLIST %product.qname;
780
  %CommonAtt;
781
  %DefEncAtt;>
782
783
<!ELEMENT %limit.qname; EMPTY>
784
<!ATTLIST %limit.qname;
785
  %CommonAtt;
786
  %DefEncAtt;>
787
788
<!ELEMENT %sin.qname; EMPTY>
789
<!ATTLIST %sin.qname;
790
  %CommonAtt;
791
  %DefEncAtt;>
792
793
<!ELEMENT %cos.qname; EMPTY>
794
<!ATTLIST %cos.qname;
795
  %CommonAtt;
796
  %DefEncAtt;>
797
798
<!ELEMENT %tan.qname; EMPTY>
799
<!ATTLIST %tan.qname;
800
  %CommonAtt;
801
  %DefEncAtt;>
802
803
<!ELEMENT %sec.qname; EMPTY>
804
<!ATTLIST %sec.qname;
805
  %CommonAtt;
806
  %DefEncAtt;>
807
808
<!ELEMENT %csc.qname; EMPTY>
809
<!ATTLIST %csc.qname;
810
  %CommonAtt;
811
  %DefEncAtt;>
812
813
<!ELEMENT %cot.qname; EMPTY>
814
<!ATTLIST %cot.qname;
815
  %CommonAtt;
816
  %DefEncAtt;>
817
818
<!ELEMENT %sinh.qname; EMPTY>
819
<!ATTLIST %sinh.qname;
820
  %CommonAtt;
821
  %DefEncAtt;>
822
823
<!ELEMENT %cosh.qname; EMPTY>
824
<!ATTLIST %cosh.qname;
825
  %CommonAtt;
826
  %DefEncAtt;>
827
828
<!ELEMENT %tanh.qname; EMPTY>
829
<!ATTLIST %tanh.qname;
830
  %CommonAtt;
831
  %DefEncAtt;>
832
833
<!ELEMENT %sech.qname; EMPTY>
834
<!ATTLIST %sech.qname;
835
  %CommonAtt;
836
  %DefEncAtt;>
837
838
<!ELEMENT %csch.qname; EMPTY>
839
<!ATTLIST %csch.qname;
840
  %CommonAtt;
841
  %DefEncAtt;>
842
843
<!ELEMENT %coth.qname; EMPTY>
844
<!ATTLIST %coth.qname;
845
  %CommonAtt;
846
  %DefEncAtt;>
847
848
<!ELEMENT %arcsin.qname; EMPTY>
849
<!ATTLIST %arcsin.qname;
850
  %CommonAtt;
851
  %DefEncAtt;>
852
853
<!ELEMENT %arccos.qname; EMPTY>
854
<!ATTLIST %arccos.qname;
855
  %CommonAtt;
856
  %DefEncAtt;>
857
858
<!ELEMENT %arctan.qname; EMPTY>
859
<!ATTLIST %arctan.qname;
860
  %CommonAtt;
861
  %DefEncAtt;>
862
863
<!ELEMENT %arccosh.qname; EMPTY>
864
<!ATTLIST %arccosh.qname;
865
  %CommonAtt;
866
  %DefEncAtt;>
867
868
<!ELEMENT %arccot.qname; EMPTY>
869
<!ATTLIST %arccot.qname;
870
  %CommonAtt;
871
  %DefEncAtt;>
872
873
<!ELEMENT %arccoth.qname; EMPTY>
874
<!ATTLIST %arccoth.qname;
875
  %CommonAtt;
876
  %DefEncAtt;>
877
878
<!ELEMENT %arccsc.qname; EMPTY>
879
<!ATTLIST %arccsc.qname;
880
  %CommonAtt;
881
  %DefEncAtt;>
882
883
<!ELEMENT %arccsch.qname; EMPTY>
884
<!ATTLIST %arccsch.qname;
885
  %CommonAtt;
886
  %DefEncAtt;>
887
888
<!ELEMENT %arcsec.qname; EMPTY>
889
<!ATTLIST %arcsec.qname;
890
  %CommonAtt;
891
  %DefEncAtt;>
892
893
<!ELEMENT %arcsech.qname; EMPTY>
894
<!ATTLIST %arcsech.qname;
895
  %CommonAtt;
896
  %DefEncAtt;>
897
898
<!ELEMENT %arcsinh.qname; EMPTY>
899
<!ATTLIST %arcsinh.qname;
900
  %CommonAtt;
901
  %DefEncAtt;>
902
903
<!ELEMENT %arctanh.qname; EMPTY>
904
<!ATTLIST %arctanh.qname;
905
  %CommonAtt;
906
  %DefEncAtt;>
907
908
<!ELEMENT %mean.qname; EMPTY>
909
<!ATTLIST %mean.qname;
910
  %CommonAtt;
911
  %DefEncAtt;>
912
913
<!ELEMENT %sdev.qname; EMPTY>
914
<!ATTLIST %sdev.qname;
915
  %CommonAtt;
916
  %DefEncAtt;>
917
918
<!ELEMENT %variance.qname; EMPTY>
919
<!ATTLIST %variance.qname;
920
  %CommonAtt;
921
  %DefEncAtt;>
922
923
<!ELEMENT %median.qname; EMPTY>
924
<!ATTLIST %median.qname;
925
  %CommonAtt;
926
  %DefEncAtt;>
927
928
<!ELEMENT %mode.qname; EMPTY>
929
<!ATTLIST %mode.qname;
930
  %CommonAtt;
931
  %DefEncAtt;>
932
933
<!ELEMENT %vector.qname; ((%BvarQ;),(%DomainQ;),(%ContExp;)*)>
934
<!ATTLIST %vector.qname;
935
  %CommonAtt;
936
  %DefEncAtt;>
937
938
<!ELEMENT %matrix.qname; ((%BvarQ;),(%DomainQ;),(%ContExp;)*)>
939
<!ATTLIST %matrix.qname;
940
  %CommonAtt;
941
  %DefEncAtt;>
942
943
<!ELEMENT %matrixrow.qname; ((%BvarQ;),(%DomainQ;),(%ContExp;)*)>
944
<!ATTLIST %matrixrow.qname;
945
  %CommonAtt;
946
  %DefEncAtt;>
947
948
<!ELEMENT %determinant.qname; EMPTY>
949
<!ATTLIST %determinant.qname;
950
  %CommonAtt;
951
  %DefEncAtt;>
952
953
<!ELEMENT %transpose.qname; EMPTY>
954
<!ATTLIST %transpose.qname;
955
  %CommonAtt;
956
  %DefEncAtt;>
957
958
<!ELEMENT %selector.qname; EMPTY>
959
<!ATTLIST %selector.qname;
960
  %CommonAtt;
961
  %DefEncAtt;>
962
963
<!ELEMENT %vectorproduct.qname; EMPTY>
964
<!ATTLIST %vectorproduct.qname;
965
  %CommonAtt;
966
  %DefEncAtt;>
967
968
<!ELEMENT %scalarproduct.qname; EMPTY>
969
<!ATTLIST %scalarproduct.qname;
970
  %CommonAtt;
971
  %DefEncAtt;>
972
973
<!ELEMENT %outerproduct.qname; EMPTY>
974
<!ATTLIST %outerproduct.qname;
975
  %CommonAtt;
976
  %DefEncAtt;>
977
978
<!ELEMENT %integers.qname; EMPTY>
979
<!ATTLIST %integers.qname;
980
  %CommonAtt;
981
  %DefEncAtt;>
982
983
<!ELEMENT %reals.qname; EMPTY>
984
<!ATTLIST %reals.qname;
985
  %CommonAtt;
986
  %DefEncAtt;>
987
988
<!ELEMENT %rationals.qname; EMPTY>
989
<!ATTLIST %rationals.qname;
990
  %CommonAtt;
991
  %DefEncAtt;>
992
993
<!ELEMENT %naturalnumbers.qname; EMPTY>
994
<!ATTLIST %naturalnumbers.qname;
995
  %CommonAtt;
996
  %DefEncAtt;>
997
998
<!ELEMENT %complexes.qname; EMPTY>
999
<!ATTLIST %complexes.qname;
1000
  %CommonAtt;
1001
  %DefEncAtt;>
1002
1003
<!ELEMENT %primes.qname; EMPTY>
1004
<!ATTLIST %primes.qname;
1005
  %CommonAtt;
1006
  %DefEncAtt;>
1007
1008
<!ELEMENT %emptyset.qname; EMPTY>
1009
<!ATTLIST %emptyset.qname;
1010
  %CommonAtt;
1011
  %DefEncAtt;>
1012
1013
<!ELEMENT %exponentiale.qname; EMPTY>
1014
<!ATTLIST %exponentiale.qname;
1015
  %CommonAtt;
1016
  %DefEncAtt;>
1017
1018
<!ELEMENT %imaginaryi.qname; EMPTY>
1019
<!ATTLIST %imaginaryi.qname;
1020
  %CommonAtt;
1021
  %DefEncAtt;>
1022
1023
<!ELEMENT %notanumber.qname; EMPTY>
1024
<!ATTLIST %notanumber.qname;
1025
  %CommonAtt;
1026
  %DefEncAtt;>
1027
1028
<!ELEMENT %true.qname; EMPTY>
1029
<!ATTLIST %true.qname;
1030
  %CommonAtt;
1031
  %DefEncAtt;>
1032
1033
<!ELEMENT %false.qname; EMPTY>
1034
<!ATTLIST %false.qname;
1035
  %CommonAtt;
1036
  %DefEncAtt;>
1037
1038
<!ELEMENT %pi.qname; EMPTY>
1039
<!ATTLIST %pi.qname;
1040
  %CommonAtt;
1041
  %DefEncAtt;>
1042
1043
<!ELEMENT %eulergamma.qname; EMPTY>
1044
<!ATTLIST %eulergamma.qname;
1045
  %CommonAtt;
1046
  %DefEncAtt;>
1047
1048
<!ELEMENT %infinity.qname; EMPTY>
1049
<!ATTLIST %infinity.qname;
1050
  %CommonAtt;
1051
  %DefEncAtt;>
1052
1053
<!-- end of mathml3-common.rng -->
1054
1055
<!ENTITY % MathExpression "%ContExp;|%PresentationExpression;">
1056
1057
<!-- end of mathml3-content.rng -->
1058
1059
<!-- start of mathml3-presentation.rng -->
1060
1061
<!ENTITY % ImpliedMrow "(%MathExpression;)*">
1062
1063
<!ENTITY % TableRowExpression "%mtr.qname;|%mlabeledtr.qname;">
1064
1065
<!ENTITY % TableCellExpression "%mtd.qname;">
1066
1067
<!ENTITY % MstackExpression "%MathExpression;|%mscarries.qname;
1068
                             |%msline.qname;|%msrow.qname;|%msgroup.qname;">
1069
1070
<!ENTITY % MsrowExpression "%MathExpression;|%none.qname;">
1071
1072
<!ENTITY % MultiScriptExpression "(%MathExpression;|%none.qname;),
1073
                                  (%MathExpression;|%none.qname;)">
1074
1075
<!ENTITY % mpadded-length "CDATA">
1076
1077
<!ENTITY % linestyle "none|solid|dashed">
1078
1079
<!ENTITY % verticalalign "top|bottom|center|baseline|axis">
1080
1081
<!ENTITY % columnalignstyle "left|center|right">
1082
1083
<!ENTITY % notationstyle "longdiv|actuarial|radical|box|roundedbox
1084
                          |circle|left|right|top|bottom|updiagonalstrike
1085
                          |downdiagonalstrike|verticalstrike
1086
                          |horizontalstrike|madruwb">
1087
1088
<!ENTITY % idref "#PCDATA">
1089
1090
<!ENTITY % unsigned-integer "CDATA">
1091
1092
<!ENTITY % integer "CDATA">
1093
1094
<!ENTITY % number "CDATA">
1095
1096
<!ENTITY % character "CDATA">
1097
1098
<!ENTITY % color "CDATA">
1099
1100
<!ENTITY % group-alignment "left|center|right|decimalpoint">
1101
1102
<!ENTITY % group-alignment-list "#PCDATA">
1103
1104
<!ENTITY % group-alignment-list-list "#PCDATA">
1105
1106
<!ENTITY % positive-integer "CDATA">
1107
1108
<!ENTITY % token.content "#PCDATA|%mglyph.qname;|%malignmark.qname;">
1109
1110
<!ELEMENT %mi.qname; (%token.content;)*>
1111
1112
<!ENTITY % length "CDATA">
1113
1114
<!ENTITY % DeprecatedTokenAtt "
1115
  fontfamily CDATA #IMPLIED
1116
  fontweight (normal|bold) #IMPLIED
1117
  fontstyle (normal|italic) #IMPLIED
1118
  fontsize %length; #IMPLIED
1119
  color %color; #IMPLIED
1120
  background CDATA #IMPLIED">
1121
1122
<!ENTITY % TokenAtt "
1123
  mathvariant (normal|bold|italic|bold-italic|double-struck|bold-fraktur
1124
               |script|bold-script|fraktur|sans-serif|bold-sans-serif
1125
               |sans-serif-italic|sans-serif-bold-italic|monospace
1126
               |initial|tailed|looped|stretched) #IMPLIED
1127
  mathsize CDATA #IMPLIED
1128
  dir (ltr|rtl) #IMPLIED
1129
  %DeprecatedTokenAtt;">
1130
1131
<!ENTITY % CommonPresAtt "
1132
  mathcolor %color; #IMPLIED
1133
  mathbackground CDATA #IMPLIED">
1134
1135
<!ATTLIST %mi.qname;
1136
  %CommonAtt;
1137
  %CommonPresAtt;
1138
  %TokenAtt;>
1139
1140
<!ELEMENT %mn.qname; (%token.content;)*>
1141
1142
<!ATTLIST %mn.qname;
1143
  %CommonAtt;
1144
  %CommonPresAtt;
1145
  %TokenAtt;>
1146
1147
<!ELEMENT %mo.qname; (%token.content;)*>
1148
1149
<!ATTLIST %mo.qname;
1150
  %CommonAtt;
1151
  %CommonPresAtt;
1152
  %TokenAtt;
1153
  form (prefix|infix|postfix) #IMPLIED
1154
  fence (true|false) #IMPLIED
1155
  separator (true|false) #IMPLIED
1156
  lspace %length; #IMPLIED
1157
  rspace %length; #IMPLIED
1158
  stretchy (true|false) #IMPLIED
1159
  symmetric (true|false) #IMPLIED
1160
  maxsize CDATA #IMPLIED
1161
  minsize %length; #IMPLIED
1162
  largeop (true|false) #IMPLIED
1163
  movablelimits (true|false) #IMPLIED
1164
  accent (true|false) #IMPLIED
1165
  linebreak (auto|newline|nobreak|goodbreak|badbreak) #IMPLIED
1166
  lineleading %length; #IMPLIED
1167
  linebreakstyle (before|after|duplicate|infixlinebreakstyle) #IMPLIED
1168
  linebreakmultchar CDATA #IMPLIED
1169
  indentalign (left|center|right|auto|id) #IMPLIED
1170
  indentshift %length; #IMPLIED
1171
  indenttarget CDATA #IMPLIED
1172
  indentalignfirst (left|center|right|auto|id|indentalign) #IMPLIED
1173
  indentshiftfirst CDATA #IMPLIED
1174
  indentalignlast (left|center|right|auto|id|indentalign) #IMPLIED
1175
  indentshiftlast CDATA #IMPLIED>
1176
1177
<!ELEMENT %mtext.qname; (%token.content;)*>
1178
1179
<!ATTLIST %mtext.qname;
1180
  %CommonAtt;
1181
  %CommonPresAtt;
1182
  %TokenAtt;>
1183
1184
<!ELEMENT %mspace.qname; EMPTY>
1185
1186
<!ATTLIST %mspace.qname;
1187
  %CommonAtt;
1188
  %CommonPresAtt;
1189
  %TokenAtt;
1190
  width %length; #IMPLIED
1191
  height %length; #IMPLIED
1192
  depth %length; #IMPLIED
1193
  linebreak (auto|newline|nobreak|goodbreak|badbreak
1194
             |indentingnewline) #IMPLIED>
1195
1196
<!ELEMENT %ms.qname; (%token.content;)*>
1197
1198
<!ATTLIST %ms.qname;
1199
  %CommonAtt;
1200
  %CommonPresAtt;
1201
  %TokenAtt;
1202
  lquote CDATA #IMPLIED
1203
  rquote CDATA #IMPLIED>
1204
1205
<!ENTITY % mglyph.deprecatedattributes "
1206
  %TokenAtt;
1207
  index %integer; #IMPLIED">
1208
1209
<!ENTITY % mglyph.attributes "
1210
  %CommonAtt;
1211
  %CommonPresAtt;
1212
  src CDATA #IMPLIED
1213
  width %length; #IMPLIED
1214
  height %length; #IMPLIED
1215
  valign CDATA #IMPLIED
1216
  alt CDATA #IMPLIED">
1217
1218
<!ELEMENT %mglyph.qname; EMPTY>
1219
<!ATTLIST %mglyph.qname;
1220
  %mglyph.attributes;
1221
  %mglyph.deprecatedattributes;>
1222
1223
<!ELEMENT %msline.qname; EMPTY>
1224
1225
<!ATTLIST %msline.qname;
1226
  %CommonAtt;
1227
  %CommonPresAtt;
1228
  position %integer; #IMPLIED
1229
  length %unsigned-integer; #IMPLIED
1230
  leftoverhang %length; #IMPLIED
1231
  rightoverhang %length; #IMPLIED
1232
  mslinethickness CDATA #IMPLIED>
1233
1234
<!ELEMENT %none.qname; EMPTY>
1235
1236
<!ATTLIST %none.qname;
1237
  %CommonAtt;
1238
  %CommonPresAtt;>
1239
1240
<!ELEMENT %mprescripts.qname; EMPTY>
1241
1242
<!ATTLIST %mprescripts.qname;
1243
  %CommonAtt;
1244
  %CommonPresAtt;>
1245
1246
<!ELEMENT %malignmark.qname; EMPTY>
1247
1248
<!ATTLIST %malignmark.qname;
1249
  %CommonAtt;
1250
  %CommonPresAtt;
1251
  edge (left|right) #IMPLIED>
1252
1253
<!ELEMENT %maligngroup.qname; EMPTY>
1254
1255
<!ATTLIST %maligngroup.qname;
1256
  %CommonAtt;
1257
  %CommonPresAtt;
1258
  groupalign (left|center|right|decimalpoint) #IMPLIED>
1259
1260
<!ELEMENT %mrow.qname; (%MathExpression;)*>
1261
1262
<!ATTLIST %mrow.qname;
1263
  %CommonAtt;
1264
  %CommonPresAtt;
1265
  dir (ltr|rtl) #IMPLIED>
1266
1267
<!ELEMENT %mfrac.qname; ((%MathExpression;),(%MathExpression;))>
1268
1269
<!ATTLIST %mfrac.qname;
1270
  %CommonAtt;
1271
  %CommonPresAtt;
1272
  linethickness CDATA #IMPLIED
1273
  numalign (left|center|right) #IMPLIED
1274
  denomalign (left|center|right) #IMPLIED
1275
  bevelled (true|false) #IMPLIED>
1276
1277
<!ELEMENT %msqrt.qname; (%ImpliedMrow;)>
1278
1279
<!ATTLIST %msqrt.qname;
1280
  %CommonAtt;
1281
  %CommonPresAtt;>
1282
1283
<!ELEMENT %mroot.qname; ((%MathExpression;),(%MathExpression;))>
1284
1285
<!ATTLIST %mroot.qname;
1286
  %CommonAtt;
1287
  %CommonPresAtt;>
1288
1289
<!ELEMENT %mstyle.qname; (%ImpliedMrow;)>
1290
1291
<!ENTITY % mstyle.deprecatedattributes "
1292
  %DeprecatedTokenAtt;
1293
  veryverythinmathspace %length; #IMPLIED
1294
  verythinmathspace %length; #IMPLIED
1295
  thinmathspace %length; #IMPLIED
1296
  mediummathspace %length; #IMPLIED
1297
  thickmathspace %length; #IMPLIED
1298
  verythickmathspace %length; #IMPLIED
1299
  veryverythickmathspace %length; #IMPLIED">
1300
1301
<!ENTITY % mstyle.generalattributes "
1302
  accent (true|false) #IMPLIED
1303
  accentunder (true|false) #IMPLIED
1304
  align (left|right|center) #IMPLIED
1305
  alignmentscope CDATA #IMPLIED
1306
  bevelled (true|false) #IMPLIED
1307
  charalign (left|center|right) #IMPLIED
1308
  charspacing CDATA #IMPLIED
1309
  close CDATA #IMPLIED
1310
  columnalign CDATA #IMPLIED
1311
  columnlines CDATA #IMPLIED
1312
  columnspacing CDATA #IMPLIED
1313
  columnspan %positive-integer; #IMPLIED
1314
  columnwidth CDATA #IMPLIED
1315
  crossout CDATA #IMPLIED
1316
  denomalign (left|center|right) #IMPLIED
1317
  depth %length; #IMPLIED
1318
  dir (ltr|rtl) #IMPLIED
1319
  edge (left|right) #IMPLIED
1320
  equalcolumns (true|false) #IMPLIED
1321
  equalrows (true|false) #IMPLIED
1322
  fence (true|false) #IMPLIED
1323
  form (prefix|infix|postfix) #IMPLIED
1324
  frame (%linestyle;) #IMPLIED
1325
  framespacing CDATA #IMPLIED
1326
  groupalign CDATA #IMPLIED
1327
  height %length; #IMPLIED
1328
  indentalign (left|center|right|auto|id) #IMPLIED
1329
  indentalignfirst (left|center|right|auto|id|indentalign) #IMPLIED
1330
  indentalignlast (left|center|right|auto|id|indentalign) #IMPLIED
1331
  indentshift %length; #IMPLIED
1332
  indentshiftfirst CDATA #IMPLIED
1333
  indentshiftlast CDATA #IMPLIED
1334
  indenttarget CDATA #IMPLIED
1335
  largeop (true|false) #IMPLIED
1336
  leftoverhang %length; #IMPLIED
1337
  length %unsigned-integer; #IMPLIED
1338
  linebreak (auto|newline|nobreak|goodbreak|badbreak) #IMPLIED
1339
  linebreakmultchar CDATA #IMPLIED
1340
  linebreakstyle (before|after|duplicate|infixlinebreakstyle) #IMPLIED
1341
  lineleading %length; #IMPLIED
1342
  linethickness CDATA #IMPLIED
1343
  location (w|nw|n|ne|e|se|s|sw) #IMPLIED
1344
  longdivstyle CDATA #IMPLIED
1345
  lquote CDATA #IMPLIED
1346
  lspace %length; #IMPLIED
1347
  mathsize CDATA #IMPLIED
1348
  mathvariant (normal|bold|italic|bold-italic|double-struck|bold-fraktur
1349
               |script|bold-script|fraktur|sans-serif|bold-sans-serif
1350
               |sans-serif-italic|sans-serif-bold-italic|monospace
1351
               |initial|tailed|looped|stretched) #IMPLIED
1352
  maxsize CDATA #IMPLIED
1353
  minlabelspacing %length; #IMPLIED
1354
  minsize %length; #IMPLIED
1355
  movablelimits (true|false) #IMPLIED
1356
  mslinethickness CDATA #IMPLIED
1357
  notation CDATA #IMPLIED
1358
  numalign (left|center|right) #IMPLIED
1359
  open CDATA #IMPLIED
1360
  position %integer; #IMPLIED
1361
  rightoverhang %length; #IMPLIED
1362
  rowalign CDATA #IMPLIED
1363
  rowlines CDATA #IMPLIED
1364
  rowspacing CDATA #IMPLIED
1365
  rowspan %positive-integer; #IMPLIED
1366
  rquote CDATA #IMPLIED
1367
  rspace %length; #IMPLIED
1368
  selection %positive-integer; #IMPLIED
1369
  separator (true|false) #IMPLIED
1370
  separators CDATA #IMPLIED
1371
  shift %integer; #IMPLIED
1372
  side (left|right|leftoverlap|rightoverlap) #IMPLIED
1373
  stackalign (left|center|right|decimalpoint) #IMPLIED
1374
  stretchy (true|false) #IMPLIED
1375
  subscriptshift %length; #IMPLIED
1376
  superscriptshift %length; #IMPLIED
1377
  symmetric (true|false) #IMPLIED
1378
  valign CDATA #IMPLIED
1379
  width %length; #IMPLIED">
1380
1381
<!ENTITY % mstyle.specificattributes "
1382
  scriptlevel %integer; #IMPLIED
1383
  displaystyle (true|false) #IMPLIED
1384
  scriptsizemultiplier %number; #IMPLIED
1385
  scriptminsize %length; #IMPLIED
1386
  infixlinebreakstyle (before|after|duplicate) #IMPLIED
1387
  decimalpoint %character; #IMPLIED">
1388
1389
<!ATTLIST %mstyle.qname;
1390
  %CommonAtt;
1391
  %CommonPresAtt;
1392
  %mstyle.specificattributes;
1393
  %mstyle.generalattributes;
1394
  %mstyle.deprecatedattributes;>
1395
1396
<!ELEMENT %merror.qname; (%ImpliedMrow;)>
1397
1398
<!ATTLIST %merror.qname;
1399
  %CommonAtt;
1400
  %CommonPresAtt;>
1401
1402
<!ELEMENT %mpadded.qname; (%ImpliedMrow;)>
1403
1404
<!ATTLIST %mpadded.qname;
1405
  %CommonAtt;
1406
  %CommonPresAtt;
1407
  height %mpadded-length; #IMPLIED
1408
  depth %mpadded-length; #IMPLIED
1409
  width %mpadded-length; #IMPLIED
1410
  lspace %mpadded-length; #IMPLIED
1411
  voffset %mpadded-length; #IMPLIED>
1412
1413
<!ELEMENT %mphantom.qname; (%ImpliedMrow;)>
1414
1415
<!ATTLIST %mphantom.qname;
1416
  %CommonAtt;
1417
  %CommonPresAtt;>
1418
1419
<!ELEMENT %mfenced.qname; (%MathExpression;)*>
1420
1421
<!ATTLIST %mfenced.qname;
1422
  %CommonAtt;
1423
  %CommonPresAtt;
1424
  open CDATA #IMPLIED
1425
  close CDATA #IMPLIED
1426
  separators CDATA #IMPLIED>
1427
1428
<!ELEMENT %menclose.qname; (%ImpliedMrow;)>
1429
1430
<!ATTLIST %menclose.qname;
1431
  %CommonAtt;
1432
  %CommonPresAtt;
1433
  notation CDATA #IMPLIED>
1434
1435
<!ELEMENT %msub.qname; ((%MathExpression;),(%MathExpression;))>
1436
1437
<!ATTLIST %msub.qname;
1438
  %CommonAtt;
1439
  %CommonPresAtt;
1440
  subscriptshift %length; #IMPLIED>
1441
1442
<!ELEMENT %msup.qname; ((%MathExpression;),(%MathExpression;))>
1443
1444
<!ATTLIST %msup.qname;
1445
  %CommonAtt;
1446
  %CommonPresAtt;
1447
  superscriptshift %length; #IMPLIED>
1448
1449
<!ENTITY % msubsup.attributes "
1450
  %CommonAtt;
1451
  %CommonPresAtt;
1452
  subscriptshift %length; #IMPLIED
1453
  superscriptshift %length; #IMPLIED">
1454
1455
<!ELEMENT %msubsup.qname; ((%MathExpression;),(%MathExpression;),
1456
                         (%MathExpression;))>
1457
<!ATTLIST %msubsup.qname;
1458
  %msubsup.attributes;>
1459
1460
<!ELEMENT %munder.qname; ((%MathExpression;),(%MathExpression;))>
1461
1462
<!ATTLIST %munder.qname;
1463
  %CommonAtt;
1464
  %CommonPresAtt;
1465
  accentunder (true|false) #IMPLIED
1466
  align (left|right|center) #IMPLIED>
1467
1468
<!ELEMENT %mover.qname; ((%MathExpression;),(%MathExpression;))>
1469
1470
<!ATTLIST %mover.qname;
1471
  %CommonAtt;
1472
  %CommonPresAtt;
1473
  accent (true|false) #IMPLIED
1474
  align (left|right|center) #IMPLIED>
1475
1476
<!ELEMENT %munderover.qname; ((%MathExpression;),(%MathExpression;),
1477
                            (%MathExpression;))>
1478
1479
<!ATTLIST %munderover.qname;
1480
  %CommonAtt;
1481
  %CommonPresAtt;
1482
  accent (true|false) #IMPLIED
1483
  accentunder (true|false) #IMPLIED
1484
  align (left|right|center) #IMPLIED>
1485
1486
<!ELEMENT %mmultiscripts.qname; ((%MathExpression;),
1487
                               (%MultiScriptExpression;)*,
1488
                               (%mprescripts.qname;,
1489
                                (%MultiScriptExpression;)*)?)>
1490
1491
<!ATTLIST %mmultiscripts.qname;
1492
  %msubsup.attributes;>
1493
1494
<!ELEMENT %mtable.qname; (%TableRowExpression;)*>
1495
1496
<!ATTLIST %mtable.qname;
1497
  %CommonAtt;
1498
  %CommonPresAtt;
1499
  align CDATA #IMPLIED
1500
  rowalign CDATA #IMPLIED
1501
  columnalign CDATA #IMPLIED
1502
  groupalign CDATA #IMPLIED
1503
  alignmentscope CDATA #IMPLIED
1504
  columnwidth CDATA #IMPLIED
1505
  width CDATA #IMPLIED
1506
  rowspacing CDATA #IMPLIED
1507
  columnspacing CDATA #IMPLIED
1508
  rowlines CDATA #IMPLIED
1509
  columnlines CDATA #IMPLIED
1510
  frame (%linestyle;) #IMPLIED
1511
  framespacing CDATA #IMPLIED
1512
  equalrows (true|false) #IMPLIED
1513
  equalcolumns (true|false) #IMPLIED
1514
  displaystyle (true|false) #IMPLIED
1515
  side (left|right|leftoverlap|rightoverlap) #IMPLIED
1516
  minlabelspacing %length; #IMPLIED>
1517
1518
<!ELEMENT %mlabeledtr.qname; (%TableCellExpression;)+>
1519
1520
<!ENTITY % mtr.attributes "
1521
  %CommonAtt;
1522
  %CommonPresAtt;
1523
  rowalign (top|bottom|center|baseline|axis) #IMPLIED
1524
  columnalign CDATA #IMPLIED
1525
  groupalign CDATA #IMPLIED">
1526
1527
<!ATTLIST %mlabeledtr.qname;
1528
  %mtr.attributes;>
1529
1530
<!ELEMENT %mtr.qname; (%TableCellExpression;)*>
1531
<!ATTLIST %mtr.qname;
1532
  %mtr.attributes;>
1533
1534
<!ELEMENT %mtd.qname; (%ImpliedMrow;)>
1535
1536
<!ATTLIST %mtd.qname;
1537
  %CommonAtt;
1538
  %CommonPresAtt;
1539
  rowspan %positive-integer; #IMPLIED
1540
  columnspan %positive-integer; #IMPLIED
1541
  rowalign (top|bottom|center|baseline|axis) #IMPLIED
1542
  columnalign (%columnalignstyle;) #IMPLIED
1543
  groupalign CDATA #IMPLIED>
1544
1545
<!ELEMENT %mstack.qname; (%MstackExpression;)*>
1546
1547
<!ATTLIST %mstack.qname;
1548
  %CommonAtt;
1549
  %CommonPresAtt;
1550
  align CDATA #IMPLIED
1551
  stackalign (left|center|right|decimalpoint) #IMPLIED
1552
  charalign (left|center|right) #IMPLIED
1553
  charspacing CDATA #IMPLIED>
1554
1555
<!ELEMENT %mlongdiv.qname; ((%MstackExpression;),(%MstackExpression;),
1556
                          (%MstackExpression;)+)>
1557
1558
<!ENTITY % msgroup.attributes "
1559
  %CommonAtt;
1560
  %CommonPresAtt;
1561
  position %integer; #IMPLIED
1562
  shift %integer; #IMPLIED">
1563
1564
<!ATTLIST %mlongdiv.qname;
1565
  %msgroup.attributes;
1566
  longdivstyle CDATA #IMPLIED>
1567
1568
<!ELEMENT %msgroup.qname; (%MstackExpression;)*>
1569
<!ATTLIST %msgroup.qname;
1570
  %msgroup.attributes;>
1571
1572
<!ELEMENT %msrow.qname; (%MsrowExpression;)*>
1573
1574
<!ATTLIST %msrow.qname;
1575
  %CommonAtt;
1576
  %CommonPresAtt;
1577
  position %integer; #IMPLIED>
1578
1579
<!ELEMENT %mscarries.qname; (%MsrowExpression;|%mscarry.qname;)*>
1580
1581
<!ATTLIST %mscarries.qname;
1582
  %CommonAtt;
1583
  %CommonPresAtt;
1584
  position %integer; #IMPLIED
1585
  location (w|nw|n|ne|e|se|s|sw) #IMPLIED
1586
  crossout CDATA #IMPLIED
1587
  scriptsizemultiplier %number; #IMPLIED>
1588
1589
<!ELEMENT %mscarry.qname; (%MsrowExpression;)*>
1590
1591
<!ATTLIST %mscarry.qname;
1592
  %CommonAtt;
1593
  %CommonPresAtt;
1594
  location (w|nw|n|ne|e|se|s|sw) #IMPLIED
1595
  crossout CDATA #IMPLIED>
1596
1597
<!ELEMENT %maction.qname; (%MathExpression;)+>
1598
1599
<!ATTLIST %maction.qname;
1600
  %CommonAtt;
1601
  %CommonPresAtt;
1602
  actiontype CDATA #IMPLIED
1603
  selection %positive-integer; #IMPLIED>
1604
1605
<!-- end of mathml3-presentation.rng -->
1606
1607
<!-- start of mathml3-common.rng -->
1608
1609
<!ELEMENT %math.qname; (%MathExpression;)*>
1610
1611
<!ENTITY % NonMathMLAtt "">
1612
1613
<!ENTITY % math.deprecatedattributes "
1614
  mode CDATA #IMPLIED
1615
  macros CDATA #IMPLIED">
1616
1617
<!ATTLIST %math.qname;
1618
  %CommonAtt;
1619
  display (block|inline) #IMPLIED
1620
  maxwidth %length; #IMPLIED
1621
  overflow (linebreak|scroll|elide|truncate|scale) #IMPLIED
1622
  altimg CDATA #IMPLIED
1623
  altimg-width %length; #IMPLIED
1624
  altimg-height %length; #IMPLIED
1625
  altimg-valign CDATA #IMPLIED
1626
  alttext CDATA #IMPLIED
1627
  cdgroup CDATA #IMPLIED
1628
  %math.deprecatedattributes;
1629
  %CommonPresAtt;
1630
  %mstyle.specificattributes;
1631
  %mstyle.generalattributes;>
1632
1633
<!ENTITY % name "
1634
  name CDATA #REQUIRED">
1635
1636
<!ENTITY % cd "
1637
  cd CDATA #REQUIRED">
1638
1639
<!ENTITY % annotation.attributes "
1640
  %CommonAtt;
1641
  cd CDATA #IMPLIED
1642
  name CDATA #IMPLIED
1643
  %DefEncAtt;
1644
  src CDATA #IMPLIED">
1645
1646
<!ELEMENT %annotation.qname; (#PCDATA)>
1647
<!ATTLIST %annotation.qname;
1648
  %annotation.attributes;>
1649
1650
<!ENTITY % annotation-xml.model "(%MathExpression;)*">
1651
1652
<!ENTITY % anyElement "">
1653
1654
<!ELEMENT %annotation-xml.qname; (%annotation-xml.model;)>
1655
<!ATTLIST %annotation-xml.qname;
1656
  %annotation.attributes;>
1657
1658
<!ELEMENT %semantics.qname; ((%MathExpression;),
1659
                           (%annotation.qname;|%annotation-xml.qname;)*)>
1660
1661
<!ATTLIST %semantics.qname;
1662
  %CommonAtt;
1663
  %DefEncAtt;
1664
  cd CDATA #IMPLIED
1665
  name CDATA #IMPLIED>