summaryrefslogtreecommitdiff
path: root/schema/mathml2/content/constants.xsd
blob: fc9cf8cdc029092cd00d8820be6bb14864578c5a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
<xs:schema 
  xmlns:xs="http://www.w3.org/2001/XMLSchema"
  xmlns="http://www.w3.org/1998/Math/MathML"
  targetNamespace="http://www.w3.org/1998/Math/MathML"
  elementFormDefault="qualified"
 >

<xs:annotation>
  <xs:documentation>
  This is the XML Schema module for the basic constants of MathML content.
  Author: St&#233;phane Dalmas.
  </xs:documentation>
</xs:annotation>

<!-- a common type for all this -->

<xs:complexType name="Constant.type">
  <xs:attributeGroup ref="Definition.attrib"/>
  <xs:attributeGroup ref="Common.attrib"/>
</xs:complexType>

<!-- Basic sets -->

<xs:element name="naturalnumbers" type="Constant.type"/>
<xs:element name="primes" type="Constant.type"/>
<xs:element name="integers" type="Constant.type"/>
<xs:element name="rationals" type="Constant.type"/>
<xs:element name="reals" type="Constant.type"/>
<xs:element name="complexes" type="Constant.type"/>

<!-- Empty set -->

<xs:element name="emptyset" type="Constant.type"/>

<!-- Basic constants -->

<xs:element name="exponentiale" type="Constant.type"/>
<xs:element name="imaginaryi" type="Constant.type"/>
<xs:element name="pi" type="Constant.type"/>
<xs:element name="eulergamma" type="Constant.type"/>

<!-- Boolean constants -->

<xs:element name="true" type="Constant.type"/>
<xs:element name="false" type="Constant.type"/>

<!-- Infinity -->

<xs:element name="infinity" type="Constant.type"/>

<!-- NotANumber -->

<xs:element name="notanumber" type="Constant.type"/>

<!-- And the group of everything -->

<xs:group name="Content-constants.class">
  <xs:choice>
    <xs:element ref="naturalnumbers"/>
    <xs:element ref="primes"/>
    <xs:element ref="integers"/>
    <xs:element ref="rationals"/>
    <xs:element ref="reals"/>
    <xs:element ref="complexes"/>
    <xs:element ref="emptyset"/>
    <xs:element ref="exponentiale"/>
    <xs:element ref="imaginaryi"/>
    <xs:element ref="pi"/>
    <xs:element ref="eulergamma"/>
    <xs:element ref="true"/>
    <xs:element ref="false"/>
    <xs:element ref="infinity"/>
    <xs:element ref="notanumber"/>
  </xs:choice>
</xs:group>

</xs:schema>
<!--
  Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
  of Technology, Institut National de Recherche en Informatique et en
  Automatique, Keio University). All Rights Reserved. See
  http://www.w3.org/Consortium/Legal/.
  -->