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/.