1
<?xml version="1.0" encoding="UTF-8"?>
4
xmlns:xs="http://www.w3.org/2001/XMLSchema"
5
xmlns="http://www.w3.org/1998/Math/MathML"
6
targetNamespace="http://www.w3.org/1998/Math/MathML"
7
elementFormDefault="qualified"
13
This is an XML Schema module for the basic constructs of content MathML.
14
Author: Stéphane Dalmas, INRIA.
20
<xs:attributeGroup name="apply.attlist">
21
<xs:attributeGroup ref="Common.attrib"/>
24
<xs:group name="apply.content">
26
<xs:group ref="Content-expr.class"/>
30
<xs:complexType name="apply.type">
31
<xs:group ref="apply.content" minOccurs="0" maxOccurs="unbounded"/>
32
<xs:attributeGroup ref="apply.attlist"/>
35
<xs:element name="apply" type="apply.type"/>
39
<xs:attributeGroup name="interval.attlist">
40
<xs:attribute name="closure" default="closed">
42
<xs:restriction base="xs:string">
43
<xs:enumeration value="closed"/>
44
<xs:enumeration value="open"/>
45
<xs:enumeration value="open-closed"/>
46
<xs:enumeration value="closed-open"/>
50
<xs:attributeGroup ref="Common.attrib"/>
54
<xs:group name="interval.content">
56
<xs:group ref="Content-expr.class" minOccurs="2" maxOccurs="2"/>
57
<xs:element ref="condition"/>
62
<xs:complexType name="interval.type">
63
<!-- <xs:group ref="interval.content"/> -->
64
<xs:group ref="Content-expr.class" maxOccurs="2"/>
65
<xs:attributeGroup ref="interval.attlist"/>
68
<xs:element name="interval" type="interval.type"/>
72
<xs:attributeGroup name="inverse.attlist">
73
<xs:attributeGroup ref="Definition.attrib"/>
74
<xs:attributeGroup ref="Common.attrib"/>
77
<xs:complexType name="inverse.type">
78
<xs:attributeGroup ref="inverse.attlist"/>
81
<xs:element name="inverse" type="inverse.type"/>
85
<xs:attributeGroup name="condition.attlist">
86
<xs:attributeGroup ref="Definition.attrib"/>
89
<xs:group name="condition.content">
91
<xs:group ref="Content-expr.class"/>
95
<xs:complexType name="condition.type">
96
<xs:group ref="condition.content" minOccurs="1" maxOccurs="unbounded"/>
97
<xs:attributeGroup ref="condition.attlist"/>
100
<xs:element name="condition" type="condition.type"/>
104
<xs:attributeGroup name="declare.attlist">
105
<xs:attribute name="type" type="xs:string"/>
106
<xs:attribute name="scope" type="xs:string"/>
107
<xs:attribute name="nargs" type="xs:nonNegativeInteger"/>
108
<xs:attribute name="occurrence">
110
<xs:restriction base="xs:string">
111
<xs:enumeration value="prefix"/>
112
<xs:enumeration value="infix"/>
113
<xs:enumeration value="function-model"/>
117
<xs:attributeGroup ref="Definition.attrib"/>
120
<xs:group name="declare.content">
122
<xs:group ref="Content-expr.class"/>
126
<xs:complexType name="declare.type">
127
<xs:group ref="declare.content" minOccurs="1" maxOccurs="unbounded"/>
128
<xs:attributeGroup ref="declare.attlist"/>
131
<xs:element name="declare" type="declare.type"/>
135
<xs:attributeGroup name="lambda.attlist">
136
<xs:attributeGroup ref="Common.attrib"/>
139
<xs:group name="lambda.content">
141
<xs:group ref="Content-expr.class"/>
145
<xs:complexType name="lambda.type">
146
<xs:group ref="lambda.content" minOccurs="1" maxOccurs="unbounded"/>
147
<xs:attributeGroup ref="lambda.attlist"/>
150
<xs:element name="lambda" type="lambda.type"/>
152
<!-- "piecewise" and its inner elements -->
154
<xs:group name="otherwise.content">
156
<xs:group ref="Content-expr.class"/>
160
<xs:complexType name="otherwise.type">
161
<xs:group ref="otherwise.content"/>
162
<xs:attributeGroup ref="Common.attrib"/>
165
<xs:element name="otherwise" type="otherwise.type"/>
167
<xs:group name="piece.content">
169
<xs:group ref="Content-expr.class"/>
173
<xs:complexType name="piece.type">
174
<xs:group ref="piece.content" minOccurs="1" maxOccurs="unbounded"/>
177
<xs:element name="piece" type="piece.type"/>
179
<xs:attributeGroup name="piecewise.attlist">
180
<xs:attributeGroup ref="Common.attrib"/>
183
<xs:group name="piecewise.content">
185
<xs:element ref="piece" minOccurs="0" maxOccurs="unbounded"/>
186
<xs:sequence minOccurs="0">
187
<xs:element ref="otherwise"/>
188
<xs:element ref="piece" minOccurs="0" maxOccurs="unbounded"/>
193
<xs:complexType name="piecewise.type">
194
<xs:group ref="piecewise.content"/>
195
<xs:attributeGroup ref="piecewise.attlist"/>
198
<xs:element name="piecewise" type="piecewise.type"/>
202
<xs:attributeGroup name="bvar.attlist">
203
<xs:attributeGroup ref="Common.attrib"/>
206
<xs:group name="bvar.content">
208
<xs:group ref="Content-expr.class"/>
212
<xs:complexType name="bvar.type">
213
<xs:group ref="bvar.content" minOccurs="1" maxOccurs="unbounded"/>
214
<xs:attributeGroup ref="bvar.attlist"/>
217
<xs:element name="bvar" type="bvar.type"/>
221
<xs:attributeGroup name="degree.attlist">
222
<xs:attributeGroup ref="Common.attrib"/>
225
<xs:group name="degree.content">
227
<xs:group ref="Content-expr.class"/>
231
<xs:complexType name="degree.type">
232
<xs:group ref="degree.content" minOccurs="1" maxOccurs="unbounded"/>
233
<xs:attributeGroup ref="degree.attlist"/>
236
<xs:element name="degree" type="degree.type"/>
238
<!-- And the group of everything -->
240
<xs:group name="Content-constructs.class">
242
<xs:element ref="apply"/>
243
<xs:element ref="interval"/>
244
<xs:element ref="inverse"/>
245
<xs:element ref="condition"/>
246
<xs:element ref="declare"/>
247
<xs:element ref="lambda"/>
248
<xs:element ref="piecewise"/>
249
<xs:element ref="bvar"/>
250
<xs:element ref="degree"/>
256
Copyright û 2002 World Wide Web Consortium, (Massachusetts Institute
257
of Technology, Institut National de Recherche en Informatique et en
258
Automatique, Keio University). All Rights Reserved. See
259
http://www.w3.org/Consortium/Legal/.