Update jflex to 1.8.2
[scilab.git] / scilab / modules / helptools / schema / mathml3-content.rng
1 <?xml version="1.0" encoding="UTF-8"?>\r
2 <grammar xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes">\r
3   <!--\r
4         This is the Mathematical Markup Language (MathML) 3.0, an XML\r
5         application for describing mathematical notation and capturing\r
6         both its structure and content.\r
7     \r
8         Copyright 1998-2010 W3C (MIT, ERCIM, Keio)\r
9     \r
10         Use and distribution of this code are permitted under the terms\r
11         W3C Software Notice and License\r
12         http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231\r
13   -->\r
14   <include href="mathml3-strict-content.rng">\r
15     <define name="cn.content">\r
16       <zeroOrMore>\r
17         <choice>\r
18           <text/>\r
19           <ref name="mglyph"/>\r
20           <ref name="sep"/>\r
21           <ref name="PresentationExpression"/>\r
22         </choice>\r
23       </zeroOrMore>\r
24     </define>\r
25     <define name="cn.attributes">\r
26       <ref name="CommonAtt"/>\r
27       <ref name="DefEncAtt"/>\r
28       <optional>\r
29         <attribute name="type"/>\r
30       </optional>\r
31       <optional>\r
32         <ref name="base"/>\r
33       </optional>\r
34     </define>\r
35     <define name="ci.attributes">\r
36       <ref name="CommonAtt"/>\r
37       <ref name="DefEncAtt"/>\r
38       <optional>\r
39         <ref name="ci.type"/>\r
40       </optional>\r
41     </define>\r
42     <define name="ci.type">\r
43       <attribute name="type"/>\r
44     </define>\r
45     <define name="ci.content">\r
46       <zeroOrMore>\r
47         <choice>\r
48           <text/>\r
49           <ref name="mglyph"/>\r
50           <ref name="PresentationExpression"/>\r
51         </choice>\r
52       </zeroOrMore>\r
53     </define>\r
54     <define name="csymbol.attributes">\r
55       <ref name="CommonAtt"/>\r
56       <ref name="DefEncAtt"/>\r
57       <optional>\r
58         <attribute name="type"/>\r
59       </optional>\r
60       <optional>\r
61         <ref name="cd"/>\r
62       </optional>\r
63     </define>\r
64     <define name="csymbol.content">\r
65       <zeroOrMore>\r
66         <choice>\r
67           <text/>\r
68           <ref name="mglyph"/>\r
69           <ref name="PresentationExpression"/>\r
70         </choice>\r
71       </zeroOrMore>\r
72     </define>\r
73     <define name="bvar">\r
74       <element name="bvar">\r
75         <interleave>\r
76           <choice>\r
77             <ref name="ci"/>\r
78             <ref name="semantics-ci"/>\r
79           </choice>\r
80           <optional>\r
81             <ref name="degree"/>\r
82           </optional>\r
83         </interleave>\r
84       </element>\r
85     </define>\r
86     <define name="cbytes.attributes">\r
87       <ref name="CommonAtt"/>\r
88       <ref name="DefEncAtt"/>\r
89     </define>\r
90     <define name="cs.attributes">\r
91       <ref name="CommonAtt"/>\r
92       <ref name="DefEncAtt"/>\r
93     </define>\r
94     <define name="apply.content">\r
95       <choice>\r
96         <oneOrMore>\r
97           <ref name="ContExp"/>\r
98         </oneOrMore>\r
99         <group>\r
100           <ref name="ContExp"/>\r
101           <ref name="BvarQ"/>\r
102           <zeroOrMore>\r
103             <ref name="Qualifier"/>\r
104           </zeroOrMore>\r
105           <zeroOrMore>\r
106             <ref name="ContExp"/>\r
107           </zeroOrMore>\r
108         </group>\r
109       </choice>\r
110     </define>\r
111     <define name="bind.content">\r
112       <ref name="apply.content"/>\r
113     </define>\r
114   </include>\r
115   <define name="base">\r
116     <attribute name="base"/>\r
117   </define>\r
118   <define name="sep">\r
119     <element name="sep">\r
120       <empty/>\r
121     </element>\r
122   </define>\r
123   <define name="PresentationExpression" combine="choice">\r
124     <notAllowed/>\r
125   </define>\r
126   <define name="DomainQ">\r
127     <zeroOrMore>\r
128       <choice>\r
129         <ref name="domainofapplication"/>\r
130         <ref name="condition"/>\r
131         <ref name="interval"/>\r
132         <group>\r
133           <ref name="lowlimit"/>\r
134           <optional>\r
135             <ref name="uplimit"/>\r
136           </optional>\r
137         </group>\r
138       </choice>\r
139     </zeroOrMore>\r
140   </define>\r
141   <define name="domainofapplication">\r
142     <element name="domainofapplication">\r
143       <ref name="ContExp"/>\r
144     </element>\r
145   </define>\r
146   <define name="condition">\r
147     <element name="condition">\r
148       <ref name="ContExp"/>\r
149     </element>\r
150   </define>\r
151   <define name="uplimit">\r
152     <element name="uplimit">\r
153       <ref name="ContExp"/>\r
154     </element>\r
155   </define>\r
156   <define name="lowlimit">\r
157     <element name="lowlimit">\r
158       <ref name="ContExp"/>\r
159     </element>\r
160   </define>\r
161   <define name="Qualifier">\r
162     <choice>\r
163       <ref name="DomainQ"/>\r
164       <ref name="degree"/>\r
165       <ref name="momentabout"/>\r
166       <ref name="logbase"/>\r
167     </choice>\r
168   </define>\r
169   <define name="degree">\r
170     <element name="degree">\r
171       <ref name="ContExp"/>\r
172     </element>\r
173   </define>\r
174   <define name="momentabout">\r
175     <element name="momentabout">\r
176       <ref name="ContExp"/>\r
177     </element>\r
178   </define>\r
179   <define name="logbase">\r
180     <element name="logbase">\r
181       <ref name="ContExp"/>\r
182     </element>\r
183   </define>\r
184   <define name="type">\r
185     <attribute name="type"/>\r
186   </define>\r
187   <define name="order">\r
188     <attribute name="order">\r
189       <choice>\r
190         <value>numeric</value>\r
191         <value>lexicographic</value>\r
192       </choice>\r
193     </attribute>\r
194   </define>\r
195   <define name="closure">\r
196     <attribute name="closure"/>\r
197   </define>\r
198   <define name="ContExp" combine="choice">\r
199     <ref name="piecewise"/>\r
200   </define>\r
201   <define name="piecewise">\r
202     <element name="piecewise">\r
203       <ref name="CommonAtt"/>\r
204       <ref name="DefEncAtt"/>\r
205       <interleave>\r
206         <zeroOrMore>\r
207           <ref name="piece"/>\r
208         </zeroOrMore>\r
209         <optional>\r
210           <ref name="otherwise"/>\r
211         </optional>\r
212       </interleave>\r
213     </element>\r
214   </define>\r
215   <define name="piece">\r
216     <element name="piece">\r
217       <ref name="CommonAtt"/>\r
218       <ref name="DefEncAtt"/>\r
219       <ref name="ContExp"/>\r
220       <ref name="ContExp"/>\r
221     </element>\r
222   </define>\r
223   <define name="otherwise">\r
224     <element name="otherwise">\r
225       <ref name="CommonAtt"/>\r
226       <ref name="DefEncAtt"/>\r
227       <ref name="ContExp"/>\r
228     </element>\r
229   </define>\r
230   <define name="DeprecatedContExp">\r
231     <choice>\r
232       <ref name="reln"/>\r
233       <ref name="fn"/>\r
234       <ref name="declare"/>\r
235     </choice>\r
236   </define>\r
237   <define name="ContExp" combine="choice">\r
238     <ref name="DeprecatedContExp"/>\r
239   </define>\r
240   <define name="reln">\r
241     <element name="reln">\r
242       <zeroOrMore>\r
243         <ref name="ContExp"/>\r
244       </zeroOrMore>\r
245     </element>\r
246   </define>\r
247   <define name="fn">\r
248     <element name="fn">\r
249       <ref name="ContExp"/>\r
250     </element>\r
251   </define>\r
252   <define name="declare">\r
253     <element name="declare">\r
254       <optional>\r
255         <attribute name="type">\r
256           <data type="string"/>\r
257         </attribute>\r
258       </optional>\r
259       <optional>\r
260         <attribute name="scope">\r
261           <data type="string"/>\r
262         </attribute>\r
263       </optional>\r
264       <optional>\r
265         <attribute name="nargs">\r
266           <data type="nonNegativeInteger"/>\r
267         </attribute>\r
268       </optional>\r
269       <optional>\r
270         <attribute name="occurrence">\r
271           <choice>\r
272             <value>prefix</value>\r
273             <value>infix</value>\r
274             <value>function-model</value>\r
275           </choice>\r
276         </attribute>\r
277       </optional>\r
278       <ref name="DefEncAtt"/>\r
279       <oneOrMore>\r
280         <ref name="ContExp"/>\r
281       </oneOrMore>\r
282     </element>\r
283   </define>\r
284   <define name="interval.class">\r
285     <ref name="interval"/>\r
286   </define>\r
287   <define name="ContExp" combine="choice">\r
288     <ref name="interval.class"/>\r
289   </define>\r
290   <define name="interval">\r
291     <element name="interval">\r
292       <ref name="CommonAtt"/>\r
293       <ref name="DefEncAtt"/>\r
294       <optional>\r
295         <ref name="closure"/>\r
296       </optional>\r
297       <ref name="ContExp"/>\r
298       <ref name="ContExp"/>\r
299     </element>\r
300   </define>\r
301   <define name="unary-functional.class">\r
302     <choice>\r
303       <ref name="inverse"/>\r
304       <ref name="ident"/>\r
305       <ref name="domain"/>\r
306       <ref name="codomain"/>\r
307       <ref name="image"/>\r
308       <ref name="ln"/>\r
309       <ref name="log"/>\r
310       <ref name="moment"/>\r
311     </choice>\r
312   </define>\r
313   <define name="ContExp" combine="choice">\r
314     <ref name="unary-functional.class"/>\r
315   </define>\r
316   <define name="inverse">\r
317     <element name="inverse">\r
318       <ref name="CommonAtt"/>\r
319       <ref name="DefEncAtt"/>\r
320       <empty/>\r
321     </element>\r
322   </define>\r
323   <define name="ident">\r
324     <element name="ident">\r
325       <ref name="CommonAtt"/>\r
326       <ref name="DefEncAtt"/>\r
327       <empty/>\r
328     </element>\r
329   </define>\r
330   <define name="domain">\r
331     <element name="domain">\r
332       <ref name="CommonAtt"/>\r
333       <ref name="DefEncAtt"/>\r
334       <empty/>\r
335     </element>\r
336   </define>\r
337   <define name="codomain">\r
338     <element name="codomain">\r
339       <ref name="CommonAtt"/>\r
340       <ref name="DefEncAtt"/>\r
341       <empty/>\r
342     </element>\r
343   </define>\r
344   <define name="image">\r
345     <element name="image">\r
346       <ref name="CommonAtt"/>\r
347       <ref name="DefEncAtt"/>\r
348       <empty/>\r
349     </element>\r
350   </define>\r
351   <define name="ln">\r
352     <element name="ln">\r
353       <ref name="CommonAtt"/>\r
354       <ref name="DefEncAtt"/>\r
355       <empty/>\r
356     </element>\r
357   </define>\r
358   <define name="log">\r
359     <element name="log">\r
360       <ref name="CommonAtt"/>\r
361       <ref name="DefEncAtt"/>\r
362       <empty/>\r
363     </element>\r
364   </define>\r
365   <define name="moment">\r
366     <element name="moment">\r
367       <ref name="CommonAtt"/>\r
368       <ref name="DefEncAtt"/>\r
369       <empty/>\r
370     </element>\r
371   </define>\r
372   <define name="lambda.class">\r
373     <ref name="lambda"/>\r
374   </define>\r
375   <define name="ContExp" combine="choice">\r
376     <ref name="lambda.class"/>\r
377   </define>\r
378   <define name="lambda">\r
379     <element name="lambda">\r
380       <ref name="CommonAtt"/>\r
381       <ref name="DefEncAtt"/>\r
382       <ref name="BvarQ"/>\r
383       <ref name="DomainQ"/>\r
384       <ref name="ContExp"/>\r
385     </element>\r
386   </define>\r
387   <define name="nary-functional.class">\r
388     <ref name="compose"/>\r
389   </define>\r
390   <define name="ContExp" combine="choice">\r
391     <ref name="nary-functional.class"/>\r
392   </define>\r
393   <define name="compose">\r
394     <element name="compose">\r
395       <ref name="CommonAtt"/>\r
396       <ref name="DefEncAtt"/>\r
397       <empty/>\r
398     </element>\r
399   </define>\r
400   <define name="binary-arith.class">\r
401     <choice>\r
402       <ref name="quotient"/>\r
403       <ref name="divide"/>\r
404       <ref name="minus"/>\r
405       <ref name="power"/>\r
406       <ref name="rem"/>\r
407       <ref name="root"/>\r
408     </choice>\r
409   </define>\r
410   <define name="ContExp" combine="choice">\r
411     <ref name="binary-arith.class"/>\r
412   </define>\r
413   <define name="quotient">\r
414     <element name="quotient">\r
415       <ref name="CommonAtt"/>\r
416       <ref name="DefEncAtt"/>\r
417       <empty/>\r
418     </element>\r
419   </define>\r
420   <define name="divide">\r
421     <element name="divide">\r
422       <ref name="CommonAtt"/>\r
423       <ref name="DefEncAtt"/>\r
424       <empty/>\r
425     </element>\r
426   </define>\r
427   <define name="minus">\r
428     <element name="minus">\r
429       <ref name="CommonAtt"/>\r
430       <ref name="DefEncAtt"/>\r
431       <empty/>\r
432     </element>\r
433   </define>\r
434   <define name="power">\r
435     <element name="power">\r
436       <ref name="CommonAtt"/>\r
437       <ref name="DefEncAtt"/>\r
438       <empty/>\r
439     </element>\r
440   </define>\r
441   <define name="rem">\r
442     <element name="rem">\r
443       <ref name="CommonAtt"/>\r
444       <ref name="DefEncAtt"/>\r
445       <empty/>\r
446     </element>\r
447   </define>\r
448   <define name="root">\r
449     <element name="root">\r
450       <ref name="CommonAtt"/>\r
451       <ref name="DefEncAtt"/>\r
452       <empty/>\r
453     </element>\r
454   </define>\r
455   <define name="unary-arith.class">\r
456     <choice>\r
457       <ref name="factorial"/>\r
458       <ref name="minus"/>\r
459       <ref name="root"/>\r
460       <ref name="abs"/>\r
461       <ref name="conjugate"/>\r
462       <ref name="arg"/>\r
463       <ref name="real"/>\r
464       <ref name="imaginary"/>\r
465       <ref name="floor"/>\r
466       <ref name="ceiling"/>\r
467       <ref name="exp"/>\r
468     </choice>\r
469   </define>\r
470   <define name="ContExp" combine="choice">\r
471     <ref name="unary-arith.class"/>\r
472   </define>\r
473   <define name="factorial">\r
474     <element name="factorial">\r
475       <ref name="CommonAtt"/>\r
476       <ref name="DefEncAtt"/>\r
477       <empty/>\r
478     </element>\r
479   </define>\r
480   <define name="abs">\r
481     <element name="abs">\r
482       <ref name="CommonAtt"/>\r
483       <ref name="DefEncAtt"/>\r
484       <empty/>\r
485     </element>\r
486   </define>\r
487   <define name="conjugate">\r
488     <element name="conjugate">\r
489       <ref name="CommonAtt"/>\r
490       <ref name="DefEncAtt"/>\r
491       <empty/>\r
492     </element>\r
493   </define>\r
494   <define name="arg">\r
495     <element name="arg">\r
496       <ref name="CommonAtt"/>\r
497       <ref name="DefEncAtt"/>\r
498       <empty/>\r
499     </element>\r
500   </define>\r
501   <define name="real">\r
502     <element name="real">\r
503       <ref name="CommonAtt"/>\r
504       <ref name="DefEncAtt"/>\r
505       <empty/>\r
506     </element>\r
507   </define>\r
508   <define name="imaginary">\r
509     <element name="imaginary">\r
510       <ref name="CommonAtt"/>\r
511       <ref name="DefEncAtt"/>\r
512       <empty/>\r
513     </element>\r
514   </define>\r
515   <define name="floor">\r
516     <element name="floor">\r
517       <ref name="CommonAtt"/>\r
518       <ref name="DefEncAtt"/>\r
519       <empty/>\r
520     </element>\r
521   </define>\r
522   <define name="ceiling">\r
523     <element name="ceiling">\r
524       <ref name="CommonAtt"/>\r
525       <ref name="DefEncAtt"/>\r
526       <empty/>\r
527     </element>\r
528   </define>\r
529   <define name="exp">\r
530     <element name="exp">\r
531       <ref name="CommonAtt"/>\r
532       <ref name="DefEncAtt"/>\r
533       <empty/>\r
534     </element>\r
535   </define>\r
536   <define name="nary-minmax.class">\r
537     <choice>\r
538       <ref name="max"/>\r
539       <ref name="min"/>\r
540     </choice>\r
541   </define>\r
542   <define name="ContExp" combine="choice">\r
543     <ref name="nary-minmax.class"/>\r
544   </define>\r
545   <define name="max">\r
546     <element name="max">\r
547       <ref name="CommonAtt"/>\r
548       <ref name="DefEncAtt"/>\r
549       <empty/>\r
550     </element>\r
551   </define>\r
552   <define name="min">\r
553     <element name="min">\r
554       <ref name="CommonAtt"/>\r
555       <ref name="DefEncAtt"/>\r
556       <empty/>\r
557     </element>\r
558   </define>\r
559   <define name="nary-arith.class">\r
560     <choice>\r
561       <ref name="plus"/>\r
562       <ref name="times"/>\r
563       <ref name="gcd"/>\r
564       <ref name="lcm"/>\r
565     </choice>\r
566   </define>\r
567   <define name="ContExp" combine="choice">\r
568     <ref name="nary-arith.class"/>\r
569   </define>\r
570   <define name="plus">\r
571     <element name="plus">\r
572       <ref name="CommonAtt"/>\r
573       <ref name="DefEncAtt"/>\r
574       <empty/>\r
575     </element>\r
576   </define>\r
577   <define name="times">\r
578     <element name="times">\r
579       <ref name="CommonAtt"/>\r
580       <ref name="DefEncAtt"/>\r
581       <empty/>\r
582     </element>\r
583   </define>\r
584   <define name="gcd">\r
585     <element name="gcd">\r
586       <ref name="CommonAtt"/>\r
587       <ref name="DefEncAtt"/>\r
588       <empty/>\r
589     </element>\r
590   </define>\r
591   <define name="lcm">\r
592     <element name="lcm">\r
593       <ref name="CommonAtt"/>\r
594       <ref name="DefEncAtt"/>\r
595       <empty/>\r
596     </element>\r
597   </define>\r
598   <define name="nary-logical.class">\r
599     <choice>\r
600       <ref name="and"/>\r
601       <ref name="or"/>\r
602       <ref name="xor"/>\r
603     </choice>\r
604   </define>\r
605   <define name="ContExp" combine="choice">\r
606     <ref name="nary-logical.class"/>\r
607   </define>\r
608   <define name="and">\r
609     <element name="and">\r
610       <ref name="CommonAtt"/>\r
611       <ref name="DefEncAtt"/>\r
612       <empty/>\r
613     </element>\r
614   </define>\r
615   <define name="or">\r
616     <element name="or">\r
617       <ref name="CommonAtt"/>\r
618       <ref name="DefEncAtt"/>\r
619       <empty/>\r
620     </element>\r
621   </define>\r
622   <define name="xor">\r
623     <element name="xor">\r
624       <ref name="CommonAtt"/>\r
625       <ref name="DefEncAtt"/>\r
626       <empty/>\r
627     </element>\r
628   </define>\r
629   <define name="unary-logical.class">\r
630     <ref name="not"/>\r
631   </define>\r
632   <define name="ContExp" combine="choice">\r
633     <ref name="unary-logical.class"/>\r
634   </define>\r
635   <define name="not">\r
636     <element name="not">\r
637       <ref name="CommonAtt"/>\r
638       <ref name="DefEncAtt"/>\r
639       <empty/>\r
640     </element>\r
641   </define>\r
642   <define name="binary-logical.class">\r
643     <choice>\r
644       <ref name="implies"/>\r
645       <ref name="equivalent"/>\r
646     </choice>\r
647   </define>\r
648   <define name="ContExp" combine="choice">\r
649     <ref name="binary-logical.class"/>\r
650   </define>\r
651   <define name="implies">\r
652     <element name="implies">\r
653       <ref name="CommonAtt"/>\r
654       <ref name="DefEncAtt"/>\r
655       <empty/>\r
656     </element>\r
657   </define>\r
658   <define name="equivalent">\r
659     <element name="equivalent">\r
660       <ref name="CommonAtt"/>\r
661       <ref name="DefEncAtt"/>\r
662       <empty/>\r
663     </element>\r
664   </define>\r
665   <define name="quantifier.class">\r
666     <choice>\r
667       <ref name="forall"/>\r
668       <ref name="exists"/>\r
669     </choice>\r
670   </define>\r
671   <define name="ContExp" combine="choice">\r
672     <ref name="quantifier.class"/>\r
673   </define>\r
674   <define name="forall">\r
675     <element name="forall">\r
676       <ref name="CommonAtt"/>\r
677       <ref name="DefEncAtt"/>\r
678       <empty/>\r
679     </element>\r
680   </define>\r
681   <define name="exists">\r
682     <element name="exists">\r
683       <ref name="CommonAtt"/>\r
684       <ref name="DefEncAtt"/>\r
685       <empty/>\r
686     </element>\r
687   </define>\r
688   <define name="nary-reln.class">\r
689     <choice>\r
690       <ref name="eq"/>\r
691       <ref name="gt"/>\r
692       <ref name="lt"/>\r
693       <ref name="geq"/>\r
694       <ref name="leq"/>\r
695     </choice>\r
696   </define>\r
697   <define name="ContExp" combine="choice">\r
698     <ref name="nary-reln.class"/>\r
699   </define>\r
700   <define name="eq">\r
701     <element name="eq">\r
702       <ref name="CommonAtt"/>\r
703       <ref name="DefEncAtt"/>\r
704       <empty/>\r
705     </element>\r
706   </define>\r
707   <define name="gt">\r
708     <element name="gt">\r
709       <ref name="CommonAtt"/>\r
710       <ref name="DefEncAtt"/>\r
711       <empty/>\r
712     </element>\r
713   </define>\r
714   <define name="lt">\r
715     <element name="lt">\r
716       <ref name="CommonAtt"/>\r
717       <ref name="DefEncAtt"/>\r
718       <empty/>\r
719     </element>\r
720   </define>\r
721   <define name="geq">\r
722     <element name="geq">\r
723       <ref name="CommonAtt"/>\r
724       <ref name="DefEncAtt"/>\r
725       <empty/>\r
726     </element>\r
727   </define>\r
728   <define name="leq">\r
729     <element name="leq">\r
730       <ref name="CommonAtt"/>\r
731       <ref name="DefEncAtt"/>\r
732       <empty/>\r
733     </element>\r
734   </define>\r
735   <define name="binary-reln.class">\r
736     <choice>\r
737       <ref name="neq"/>\r
738       <ref name="approx"/>\r
739       <ref name="factorof"/>\r
740       <ref name="tendsto"/>\r
741     </choice>\r
742   </define>\r
743   <define name="ContExp" combine="choice">\r
744     <ref name="binary-reln.class"/>\r
745   </define>\r
746   <define name="neq">\r
747     <element name="neq">\r
748       <ref name="CommonAtt"/>\r
749       <ref name="DefEncAtt"/>\r
750       <empty/>\r
751     </element>\r
752   </define>\r
753   <define name="approx">\r
754     <element name="approx">\r
755       <ref name="CommonAtt"/>\r
756       <ref name="DefEncAtt"/>\r
757       <empty/>\r
758     </element>\r
759   </define>\r
760   <define name="factorof">\r
761     <element name="factorof">\r
762       <ref name="CommonAtt"/>\r
763       <ref name="DefEncAtt"/>\r
764       <empty/>\r
765     </element>\r
766   </define>\r
767   <define name="tendsto">\r
768     <element name="tendsto">\r
769       <ref name="CommonAtt"/>\r
770       <ref name="DefEncAtt"/>\r
771       <optional>\r
772         <ref name="type"/>\r
773       </optional>\r
774       <empty/>\r
775     </element>\r
776   </define>\r
777   <define name="int.class">\r
778     <ref name="int"/>\r
779   </define>\r
780   <define name="ContExp" combine="choice">\r
781     <ref name="int.class"/>\r
782   </define>\r
783   <define name="int">\r
784     <element name="int">\r
785       <ref name="CommonAtt"/>\r
786       <ref name="DefEncAtt"/>\r
787       <empty/>\r
788     </element>\r
789   </define>\r
790   <define name="Differential-Operator.class">\r
791     <ref name="diff"/>\r
792   </define>\r
793   <define name="ContExp" combine="choice">\r
794     <ref name="Differential-Operator.class"/>\r
795   </define>\r
796   <define name="diff">\r
797     <element name="diff">\r
798       <ref name="CommonAtt"/>\r
799       <ref name="DefEncAtt"/>\r
800       <empty/>\r
801     </element>\r
802   </define>\r
803   <define name="partialdiff.class">\r
804     <ref name="partialdiff"/>\r
805   </define>\r
806   <define name="ContExp" combine="choice">\r
807     <ref name="partialdiff.class"/>\r
808   </define>\r
809   <define name="partialdiff">\r
810     <element name="partialdiff">\r
811       <ref name="CommonAtt"/>\r
812       <ref name="DefEncAtt"/>\r
813       <empty/>\r
814     </element>\r
815   </define>\r
816   <define name="unary-veccalc.class">\r
817     <choice>\r
818       <ref name="divergence"/>\r
819       <ref name="grad"/>\r
820       <ref name="curl"/>\r
821       <ref name="laplacian"/>\r
822     </choice>\r
823   </define>\r
824   <define name="ContExp" combine="choice">\r
825     <ref name="unary-veccalc.class"/>\r
826   </define>\r
827   <define name="divergence">\r
828     <element name="divergence">\r
829       <ref name="CommonAtt"/>\r
830       <ref name="DefEncAtt"/>\r
831       <empty/>\r
832     </element>\r
833   </define>\r
834   <define name="grad">\r
835     <element name="grad">\r
836       <ref name="CommonAtt"/>\r
837       <ref name="DefEncAtt"/>\r
838       <empty/>\r
839     </element>\r
840   </define>\r
841   <define name="curl">\r
842     <element name="curl">\r
843       <ref name="CommonAtt"/>\r
844       <ref name="DefEncAtt"/>\r
845       <empty/>\r
846     </element>\r
847   </define>\r
848   <define name="laplacian">\r
849     <element name="laplacian">\r
850       <ref name="CommonAtt"/>\r
851       <ref name="DefEncAtt"/>\r
852       <empty/>\r
853     </element>\r
854   </define>\r
855   <define name="nary-setlist-constructor.class">\r
856     <choice>\r
857       <ref name="set"/>\r
858       <ref name="list"/>\r
859     </choice>\r
860   </define>\r
861   <define name="ContExp" combine="choice">\r
862     <ref name="nary-setlist-constructor.class"/>\r
863   </define>\r
864   <define name="set">\r
865     <element name="set">\r
866       <ref name="CommonAtt"/>\r
867       <ref name="DefEncAtt"/>\r
868       <optional>\r
869         <ref name="type"/>\r
870       </optional>\r
871       <zeroOrMore>\r
872         <ref name="BvarQ"/>\r
873       </zeroOrMore>\r
874       <zeroOrMore>\r
875         <ref name="DomainQ"/>\r
876       </zeroOrMore>\r
877       <zeroOrMore>\r
878         <ref name="ContExp"/>\r
879       </zeroOrMore>\r
880     </element>\r
881   </define>\r
882   <define name="list">\r
883     <element name="list">\r
884       <ref name="CommonAtt"/>\r
885       <ref name="DefEncAtt"/>\r
886       <optional>\r
887         <ref name="order"/>\r
888       </optional>\r
889       <zeroOrMore>\r
890         <ref name="BvarQ"/>\r
891       </zeroOrMore>\r
892       <zeroOrMore>\r
893         <ref name="DomainQ"/>\r
894       </zeroOrMore>\r
895       <zeroOrMore>\r
896         <ref name="ContExp"/>\r
897       </zeroOrMore>\r
898     </element>\r
899   </define>\r
900   <define name="nary-set.class">\r
901     <choice>\r
902       <ref name="union"/>\r
903       <ref name="intersect"/>\r
904       <ref name="cartesianproduct"/>\r
905     </choice>\r
906   </define>\r
907   <define name="ContExp" combine="choice">\r
908     <ref name="nary-set.class"/>\r
909   </define>\r
910   <define name="union">\r
911     <element name="union">\r
912       <ref name="CommonAtt"/>\r
913       <ref name="DefEncAtt"/>\r
914       <empty/>\r
915     </element>\r
916   </define>\r
917   <define name="intersect">\r
918     <element name="intersect">\r
919       <ref name="CommonAtt"/>\r
920       <ref name="DefEncAtt"/>\r
921       <empty/>\r
922     </element>\r
923   </define>\r
924   <define name="cartesianproduct">\r
925     <element name="cartesianproduct">\r
926       <ref name="CommonAtt"/>\r
927       <ref name="DefEncAtt"/>\r
928       <empty/>\r
929     </element>\r
930   </define>\r
931   <define name="binary-set.class">\r
932     <choice>\r
933       <ref name="in"/>\r
934       <ref name="notin"/>\r
935       <ref name="notsubset"/>\r
936       <ref name="notprsubset"/>\r
937       <ref name="setdiff"/>\r
938     </choice>\r
939   </define>\r
940   <define name="ContExp" combine="choice">\r
941     <ref name="binary-set.class"/>\r
942   </define>\r
943   <define name="in">\r
944     <element name="in">\r
945       <ref name="CommonAtt"/>\r
946       <ref name="DefEncAtt"/>\r
947       <empty/>\r
948     </element>\r
949   </define>\r
950   <define name="notin">\r
951     <element name="notin">\r
952       <ref name="CommonAtt"/>\r
953       <ref name="DefEncAtt"/>\r
954       <empty/>\r
955     </element>\r
956   </define>\r
957   <define name="notsubset">\r
958     <element name="notsubset">\r
959       <ref name="CommonAtt"/>\r
960       <ref name="DefEncAtt"/>\r
961       <empty/>\r
962     </element>\r
963   </define>\r
964   <define name="notprsubset">\r
965     <element name="notprsubset">\r
966       <ref name="CommonAtt"/>\r
967       <ref name="DefEncAtt"/>\r
968       <empty/>\r
969     </element>\r
970   </define>\r
971   <define name="setdiff">\r
972     <element name="setdiff">\r
973       <ref name="CommonAtt"/>\r
974       <ref name="DefEncAtt"/>\r
975       <empty/>\r
976     </element>\r
977   </define>\r
978   <define name="nary-set-reln.class">\r
979     <choice>\r
980       <ref name="subset"/>\r
981       <ref name="prsubset"/>\r
982     </choice>\r
983   </define>\r
984   <define name="ContExp" combine="choice">\r
985     <ref name="nary-set-reln.class"/>\r
986   </define>\r
987   <define name="subset">\r
988     <element name="subset">\r
989       <ref name="CommonAtt"/>\r
990       <ref name="DefEncAtt"/>\r
991       <empty/>\r
992     </element>\r
993   </define>\r
994   <define name="prsubset">\r
995     <element name="prsubset">\r
996       <ref name="CommonAtt"/>\r
997       <ref name="DefEncAtt"/>\r
998       <empty/>\r
999     </element>\r
1000   </define>\r
1001   <define name="unary-set.class">\r
1002     <ref name="card"/>\r
1003   </define>\r
1004   <define name="ContExp" combine="choice">\r
1005     <ref name="unary-set.class"/>\r
1006   </define>\r
1007   <define name="card">\r
1008     <element name="card">\r
1009       <ref name="CommonAtt"/>\r
1010       <ref name="DefEncAtt"/>\r
1011       <empty/>\r
1012     </element>\r
1013   </define>\r
1014   <define name="sum.class">\r
1015     <ref name="sum"/>\r
1016   </define>\r
1017   <define name="ContExp" combine="choice">\r
1018     <ref name="sum.class"/>\r
1019   </define>\r
1020   <define name="sum">\r
1021     <element name="sum">\r
1022       <ref name="CommonAtt"/>\r
1023       <ref name="DefEncAtt"/>\r
1024       <empty/>\r
1025     </element>\r
1026   </define>\r
1027   <define name="product.class">\r
1028     <ref name="product"/>\r
1029   </define>\r
1030   <define name="ContExp" combine="choice">\r
1031     <ref name="product.class"/>\r
1032   </define>\r
1033   <define name="product">\r
1034     <element name="product">\r
1035       <ref name="CommonAtt"/>\r
1036       <ref name="DefEncAtt"/>\r
1037       <empty/>\r
1038     </element>\r
1039   </define>\r
1040   <define name="limit.class">\r
1041     <ref name="limit"/>\r
1042   </define>\r
1043   <define name="ContExp" combine="choice">\r
1044     <ref name="limit.class"/>\r
1045   </define>\r
1046   <define name="limit">\r
1047     <element name="limit">\r
1048       <ref name="CommonAtt"/>\r
1049       <ref name="DefEncAtt"/>\r
1050       <empty/>\r
1051     </element>\r
1052   </define>\r
1053   <define name="unary-elementary.class">\r
1054     <choice>\r
1055       <ref name="sin"/>\r
1056       <ref name="cos"/>\r
1057       <ref name="tan"/>\r
1058       <ref name="sec"/>\r
1059       <ref name="csc"/>\r
1060       <ref name="cot"/>\r
1061       <ref name="sinh"/>\r
1062       <ref name="cosh"/>\r
1063       <ref name="tanh"/>\r
1064       <ref name="sech"/>\r
1065       <ref name="csch"/>\r
1066       <ref name="coth"/>\r
1067       <ref name="arcsin"/>\r
1068       <ref name="arccos"/>\r
1069       <ref name="arctan"/>\r
1070       <ref name="arccosh"/>\r
1071       <ref name="arccot"/>\r
1072       <ref name="arccoth"/>\r
1073       <ref name="arccsc"/>\r
1074       <ref name="arccsch"/>\r
1075       <ref name="arcsec"/>\r
1076       <ref name="arcsech"/>\r
1077       <ref name="arcsinh"/>\r
1078       <ref name="arctanh"/>\r
1079     </choice>\r
1080   </define>\r
1081   <define name="ContExp" combine="choice">\r
1082     <ref name="unary-elementary.class"/>\r
1083   </define>\r
1084   <define name="sin">\r
1085     <element name="sin">\r
1086       <ref name="CommonAtt"/>\r
1087       <ref name="DefEncAtt"/>\r
1088       <empty/>\r
1089     </element>\r
1090   </define>\r
1091   <define name="cos">\r
1092     <element name="cos">\r
1093       <ref name="CommonAtt"/>\r
1094       <ref name="DefEncAtt"/>\r
1095       <empty/>\r
1096     </element>\r
1097   </define>\r
1098   <define name="tan">\r
1099     <element name="tan">\r
1100       <ref name="CommonAtt"/>\r
1101       <ref name="DefEncAtt"/>\r
1102       <empty/>\r
1103     </element>\r
1104   </define>\r
1105   <define name="sec">\r
1106     <element name="sec">\r
1107       <ref name="CommonAtt"/>\r
1108       <ref name="DefEncAtt"/>\r
1109       <empty/>\r
1110     </element>\r
1111   </define>\r
1112   <define name="csc">\r
1113     <element name="csc">\r
1114       <ref name="CommonAtt"/>\r
1115       <ref name="DefEncAtt"/>\r
1116       <empty/>\r
1117     </element>\r
1118   </define>\r
1119   <define name="cot">\r
1120     <element name="cot">\r
1121       <ref name="CommonAtt"/>\r
1122       <ref name="DefEncAtt"/>\r
1123       <empty/>\r
1124     </element>\r
1125   </define>\r
1126   <define name="sinh">\r
1127     <element name="sinh">\r
1128       <ref name="CommonAtt"/>\r
1129       <ref name="DefEncAtt"/>\r
1130       <empty/>\r
1131     </element>\r
1132   </define>\r
1133   <define name="cosh">\r
1134     <element name="cosh">\r
1135       <ref name="CommonAtt"/>\r
1136       <ref name="DefEncAtt"/>\r
1137       <empty/>\r
1138     </element>\r
1139   </define>\r
1140   <define name="tanh">\r
1141     <element name="tanh">\r
1142       <ref name="CommonAtt"/>\r
1143       <ref name="DefEncAtt"/>\r
1144       <empty/>\r
1145     </element>\r
1146   </define>\r
1147   <define name="sech">\r
1148     <element name="sech">\r
1149       <ref name="CommonAtt"/>\r
1150       <ref name="DefEncAtt"/>\r
1151       <empty/>\r
1152     </element>\r
1153   </define>\r
1154   <define name="csch">\r
1155     <element name="csch">\r
1156       <ref name="CommonAtt"/>\r
1157       <ref name="DefEncAtt"/>\r
1158       <empty/>\r
1159     </element>\r
1160   </define>\r
1161   <define name="coth">\r
1162     <element name="coth">\r
1163       <ref name="CommonAtt"/>\r
1164       <ref name="DefEncAtt"/>\r
1165       <empty/>\r
1166     </element>\r
1167   </define>\r
1168   <define name="arcsin">\r
1169     <element name="arcsin">\r
1170       <ref name="CommonAtt"/>\r
1171       <ref name="DefEncAtt"/>\r
1172       <empty/>\r
1173     </element>\r
1174   </define>\r
1175   <define name="arccos">\r
1176     <element name="arccos">\r
1177       <ref name="CommonAtt"/>\r
1178       <ref name="DefEncAtt"/>\r
1179       <empty/>\r
1180     </element>\r
1181   </define>\r
1182   <define name="arctan">\r
1183     <element name="arctan">\r
1184       <ref name="CommonAtt"/>\r
1185       <ref name="DefEncAtt"/>\r
1186       <empty/>\r
1187     </element>\r
1188   </define>\r
1189   <define name="arccosh">\r
1190     <element name="arccosh">\r
1191       <ref name="CommonAtt"/>\r
1192       <ref name="DefEncAtt"/>\r
1193       <empty/>\r
1194     </element>\r
1195   </define>\r
1196   <define name="arccot">\r
1197     <element name="arccot">\r
1198       <ref name="CommonAtt"/>\r
1199       <ref name="DefEncAtt"/>\r
1200       <empty/>\r
1201     </element>\r
1202   </define>\r
1203   <define name="arccoth">\r
1204     <element name="arccoth">\r
1205       <ref name="CommonAtt"/>\r
1206       <ref name="DefEncAtt"/>\r
1207       <empty/>\r
1208     </element>\r
1209   </define>\r
1210   <define name="arccsc">\r
1211     <element name="arccsc">\r
1212       <ref name="CommonAtt"/>\r
1213       <ref name="DefEncAtt"/>\r
1214       <empty/>\r
1215     </element>\r
1216   </define>\r
1217   <define name="arccsch">\r
1218     <element name="arccsch">\r
1219       <ref name="CommonAtt"/>\r
1220       <ref name="DefEncAtt"/>\r
1221       <empty/>\r
1222     </element>\r
1223   </define>\r
1224   <define name="arcsec">\r
1225     <element name="arcsec">\r
1226       <ref name="CommonAtt"/>\r
1227       <ref name="DefEncAtt"/>\r
1228       <empty/>\r
1229     </element>\r
1230   </define>\r
1231   <define name="arcsech">\r
1232     <element name="arcsech">\r
1233       <ref name="CommonAtt"/>\r
1234       <ref name="DefEncAtt"/>\r
1235       <empty/>\r
1236     </element>\r
1237   </define>\r
1238   <define name="arcsinh">\r
1239     <element name="arcsinh">\r
1240       <ref name="CommonAtt"/>\r
1241       <ref name="DefEncAtt"/>\r
1242       <empty/>\r
1243     </element>\r
1244   </define>\r
1245   <define name="arctanh">\r
1246     <element name="arctanh">\r
1247       <ref name="CommonAtt"/>\r
1248       <ref name="DefEncAtt"/>\r
1249       <empty/>\r
1250     </element>\r
1251   </define>\r
1252   <define name="nary-stats.class">\r
1253     <choice>\r
1254       <ref name="mean"/>\r
1255       <ref name="sdev"/>\r
1256       <ref name="variance"/>\r
1257       <ref name="median"/>\r
1258       <ref name="mode"/>\r
1259     </choice>\r
1260   </define>\r
1261   <define name="ContExp" combine="choice">\r
1262     <ref name="nary-stats.class"/>\r
1263   </define>\r
1264   <define name="mean">\r
1265     <element name="mean">\r
1266       <ref name="CommonAtt"/>\r
1267       <ref name="DefEncAtt"/>\r
1268       <empty/>\r
1269     </element>\r
1270   </define>\r
1271   <define name="sdev">\r
1272     <element name="sdev">\r
1273       <ref name="CommonAtt"/>\r
1274       <ref name="DefEncAtt"/>\r
1275       <empty/>\r
1276     </element>\r
1277   </define>\r
1278   <define name="variance">\r
1279     <element name="variance">\r
1280       <ref name="CommonAtt"/>\r
1281       <ref name="DefEncAtt"/>\r
1282       <empty/>\r
1283     </element>\r
1284   </define>\r
1285   <define name="median">\r
1286     <element name="median">\r
1287       <ref name="CommonAtt"/>\r
1288       <ref name="DefEncAtt"/>\r
1289       <empty/>\r
1290     </element>\r
1291   </define>\r
1292   <define name="mode">\r
1293     <element name="mode">\r
1294       <ref name="CommonAtt"/>\r
1295       <ref name="DefEncAtt"/>\r
1296       <empty/>\r
1297     </element>\r
1298   </define>\r
1299   <define name="nary-constructor.class">\r
1300     <choice>\r
1301       <ref name="vector"/>\r
1302       <ref name="matrix"/>\r
1303       <ref name="matrixrow"/>\r
1304     </choice>\r
1305   </define>\r
1306   <define name="ContExp" combine="choice">\r
1307     <ref name="nary-constructor.class"/>\r
1308   </define>\r
1309   <define name="vector">\r
1310     <element name="vector">\r
1311       <ref name="CommonAtt"/>\r
1312       <ref name="DefEncAtt"/>\r
1313       <ref name="BvarQ"/>\r
1314       <ref name="DomainQ"/>\r
1315       <zeroOrMore>\r
1316         <ref name="ContExp"/>\r
1317       </zeroOrMore>\r
1318     </element>\r
1319   </define>\r
1320   <define name="matrix">\r
1321     <element name="matrix">\r
1322       <ref name="CommonAtt"/>\r
1323       <ref name="DefEncAtt"/>\r
1324       <ref name="BvarQ"/>\r
1325       <ref name="DomainQ"/>\r
1326       <zeroOrMore>\r
1327         <ref name="ContExp"/>\r
1328       </zeroOrMore>\r
1329     </element>\r
1330   </define>\r
1331   <define name="matrixrow">\r
1332     <element name="matrixrow">\r
1333       <ref name="CommonAtt"/>\r
1334       <ref name="DefEncAtt"/>\r
1335       <ref name="BvarQ"/>\r
1336       <ref name="DomainQ"/>\r
1337       <zeroOrMore>\r
1338         <ref name="ContExp"/>\r
1339       </zeroOrMore>\r
1340     </element>\r
1341   </define>\r
1342   <define name="unary-linalg.class">\r
1343     <choice>\r
1344       <ref name="determinant"/>\r
1345       <ref name="transpose"/>\r
1346     </choice>\r
1347   </define>\r
1348   <define name="ContExp" combine="choice">\r
1349     <ref name="unary-linalg.class"/>\r
1350   </define>\r
1351   <define name="determinant">\r
1352     <element name="determinant">\r
1353       <ref name="CommonAtt"/>\r
1354       <ref name="DefEncAtt"/>\r
1355       <empty/>\r
1356     </element>\r
1357   </define>\r
1358   <define name="transpose">\r
1359     <element name="transpose">\r
1360       <ref name="CommonAtt"/>\r
1361       <ref name="DefEncAtt"/>\r
1362       <empty/>\r
1363     </element>\r
1364   </define>\r
1365   <define name="nary-linalg.class">\r
1366     <ref name="selector"/>\r
1367   </define>\r
1368   <define name="ContExp" combine="choice">\r
1369     <ref name="nary-linalg.class"/>\r
1370   </define>\r
1371   <define name="selector">\r
1372     <element name="selector">\r
1373       <ref name="CommonAtt"/>\r
1374       <ref name="DefEncAtt"/>\r
1375       <empty/>\r
1376     </element>\r
1377   </define>\r
1378   <define name="binary-linalg.class">\r
1379     <choice>\r
1380       <ref name="vectorproduct"/>\r
1381       <ref name="scalarproduct"/>\r
1382       <ref name="outerproduct"/>\r
1383     </choice>\r
1384   </define>\r
1385   <define name="ContExp" combine="choice">\r
1386     <ref name="binary-linalg.class"/>\r
1387   </define>\r
1388   <define name="vectorproduct">\r
1389     <element name="vectorproduct">\r
1390       <ref name="CommonAtt"/>\r
1391       <ref name="DefEncAtt"/>\r
1392       <empty/>\r
1393     </element>\r
1394   </define>\r
1395   <define name="scalarproduct">\r
1396     <element name="scalarproduct">\r
1397       <ref name="CommonAtt"/>\r
1398       <ref name="DefEncAtt"/>\r
1399       <empty/>\r
1400     </element>\r
1401   </define>\r
1402   <define name="outerproduct">\r
1403     <element name="outerproduct">\r
1404       <ref name="CommonAtt"/>\r
1405       <ref name="DefEncAtt"/>\r
1406       <empty/>\r
1407     </element>\r
1408   </define>\r
1409   <define name="constant-set.class">\r
1410     <choice>\r
1411       <ref name="integers"/>\r
1412       <ref name="reals"/>\r
1413       <ref name="rationals"/>\r
1414       <ref name="naturalnumbers"/>\r
1415       <ref name="complexes"/>\r
1416       <ref name="primes"/>\r
1417       <ref name="emptyset"/>\r
1418     </choice>\r
1419   </define>\r
1420   <define name="ContExp" combine="choice">\r
1421     <ref name="constant-set.class"/>\r
1422   </define>\r
1423   <define name="integers">\r
1424     <element name="integers">\r
1425       <ref name="CommonAtt"/>\r
1426       <ref name="DefEncAtt"/>\r
1427       <empty/>\r
1428     </element>\r
1429   </define>\r
1430   <define name="reals">\r
1431     <element name="reals">\r
1432       <ref name="CommonAtt"/>\r
1433       <ref name="DefEncAtt"/>\r
1434       <empty/>\r
1435     </element>\r
1436   </define>\r
1437   <define name="rationals">\r
1438     <element name="rationals">\r
1439       <ref name="CommonAtt"/>\r
1440       <ref name="DefEncAtt"/>\r
1441       <empty/>\r
1442     </element>\r
1443   </define>\r
1444   <define name="naturalnumbers">\r
1445     <element name="naturalnumbers">\r
1446       <ref name="CommonAtt"/>\r
1447       <ref name="DefEncAtt"/>\r
1448       <empty/>\r
1449     </element>\r
1450   </define>\r
1451   <define name="complexes">\r
1452     <element name="complexes">\r
1453       <ref name="CommonAtt"/>\r
1454       <ref name="DefEncAtt"/>\r
1455       <empty/>\r
1456     </element>\r
1457   </define>\r
1458   <define name="primes">\r
1459     <element name="primes">\r
1460       <ref name="CommonAtt"/>\r
1461       <ref name="DefEncAtt"/>\r
1462       <empty/>\r
1463     </element>\r
1464   </define>\r
1465   <define name="emptyset">\r
1466     <element name="emptyset">\r
1467       <ref name="CommonAtt"/>\r
1468       <ref name="DefEncAtt"/>\r
1469       <empty/>\r
1470     </element>\r
1471   </define>\r
1472   <define name="constant-arith.class">\r
1473     <choice>\r
1474       <ref name="exponentiale"/>\r
1475       <ref name="imaginaryi"/>\r
1476       <ref name="notanumber"/>\r
1477       <ref name="true"/>\r
1478       <ref name="false"/>\r
1479       <ref name="pi"/>\r
1480       <ref name="eulergamma"/>\r
1481       <ref name="infinity"/>\r
1482     </choice>\r
1483   </define>\r
1484   <define name="ContExp" combine="choice">\r
1485     <ref name="constant-arith.class"/>\r
1486   </define>\r
1487   <define name="exponentiale">\r
1488     <element name="exponentiale">\r
1489       <ref name="CommonAtt"/>\r
1490       <ref name="DefEncAtt"/>\r
1491       <empty/>\r
1492     </element>\r
1493   </define>\r
1494   <define name="imaginaryi">\r
1495     <element name="imaginaryi">\r
1496       <ref name="CommonAtt"/>\r
1497       <ref name="DefEncAtt"/>\r
1498       <empty/>\r
1499     </element>\r
1500   </define>\r
1501   <define name="notanumber">\r
1502     <element name="notanumber">\r
1503       <ref name="CommonAtt"/>\r
1504       <ref name="DefEncAtt"/>\r
1505       <empty/>\r
1506     </element>\r
1507   </define>\r
1508   <define name="true">\r
1509     <element name="true">\r
1510       <ref name="CommonAtt"/>\r
1511       <ref name="DefEncAtt"/>\r
1512       <empty/>\r
1513     </element>\r
1514   </define>\r
1515   <define name="false">\r
1516     <element name="false">\r
1517       <ref name="CommonAtt"/>\r
1518       <ref name="DefEncAtt"/>\r
1519       <empty/>\r
1520     </element>\r
1521   </define>\r
1522   <define name="pi">\r
1523     <element name="pi">\r
1524       <ref name="CommonAtt"/>\r
1525       <ref name="DefEncAtt"/>\r
1526       <empty/>\r
1527     </element>\r
1528   </define>\r
1529   <define name="eulergamma">\r
1530     <element name="eulergamma">\r
1531       <ref name="CommonAtt"/>\r
1532       <ref name="DefEncAtt"/>\r
1533       <empty/>\r
1534     </element>\r
1535   </define>\r
1536   <define name="infinity">\r
1537     <element name="infinity">\r
1538       <ref name="CommonAtt"/>\r
1539       <ref name="DefEncAtt"/>\r
1540       <empty/>\r
1541     </element>\r
1542   </define>\r
1543 </grammar>\r