2 xmlns:
xs=
"http://www.w3.org/2001/XMLSchema"
3 xmlns=
"http://www.w3.org/1998/Math/MathML"
4 targetNamespace=
"http://www.w3.org/1998/Math/MathML"
5 elementFormDefault=
"qualified"
10 This is the XML Schema module for the basic constants of MathML content.
11 Author: St
éphane Dalmas.
15 <!-- a common type for all this -->
17 <xs:complexType name=
"Constant.type">
18 <xs:attributeGroup ref=
"Definition.attrib"/>
19 <xs:attributeGroup ref=
"Common.attrib"/>
24 <xs:element name=
"naturalnumbers" type=
"Constant.type"/>
25 <xs:element name=
"primes" type=
"Constant.type"/>
26 <xs:element name=
"integers" type=
"Constant.type"/>
27 <xs:element name=
"rationals" type=
"Constant.type"/>
28 <xs:element name=
"reals" type=
"Constant.type"/>
29 <xs:element name=
"complexes" type=
"Constant.type"/>
33 <xs:element name=
"emptyset" type=
"Constant.type"/>
35 <!-- Basic constants -->
37 <xs:element name=
"exponentiale" type=
"Constant.type"/>
38 <xs:element name=
"imaginaryi" type=
"Constant.type"/>
39 <xs:element name=
"pi" type=
"Constant.type"/>
40 <xs:element name=
"eulergamma" type=
"Constant.type"/>
42 <!-- Boolean constants -->
44 <xs:element name=
"true" type=
"Constant.type"/>
45 <xs:element name=
"false" type=
"Constant.type"/>
49 <xs:element name=
"infinity" type=
"Constant.type"/>
53 <xs:element name=
"notanumber" type=
"Constant.type"/>
55 <!-- And the group of everything -->
57 <xs:group name=
"Content-constants.class">
59 <xs:element ref=
"naturalnumbers"/>
60 <xs:element ref=
"primes"/>
61 <xs:element ref=
"integers"/>
62 <xs:element ref=
"rationals"/>
63 <xs:element ref=
"reals"/>
64 <xs:element ref=
"complexes"/>
65 <xs:element ref=
"emptyset"/>
66 <xs:element ref=
"exponentiale"/>
67 <xs:element ref=
"imaginaryi"/>
68 <xs:element ref=
"pi"/>
69 <xs:element ref=
"eulergamma"/>
70 <xs:element ref=
"true"/>
71 <xs:element ref=
"false"/>
72 <xs:element ref=
"infinity"/>
73 <xs:element ref=
"notanumber"/>
79 Copyright û 2002 World Wide Web Consortium, (Massachusetts Institute
80 of Technology, Institut National de Recherche en Informatique et en
81 Automatique, Keio University). All Rights Reserved. See
82 http://www.w3.org/Consortium/Legal/.