<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 an XML Schema module for the logic operators of content MathML. Author: Stéphane Dalmas, INRIA. </xs:documentation>
</xs:annotation>
<!– a common type for all this –>
<xs:complexType name=“Logic.type”>
<xs:attributeGroup ref="Definition.attrib"/> <xs:attributeGroup ref="Common.attrib"/>
</xs:complexType>
<xs:element name=“and” type=“Elementary-functions.type”/> <xs:element name=“or” type=“Logic.type”/> <xs:element name=“xor” type=“Logic.type”/>
<xs:element name=“not” type=“Logic.type”/>
<xs:element name=“exists” type=“Logic.type”/> <xs:element name=“forall” type=“Logic.type”/>
<xs:element name=“implies” type=“Logic.type”/>
<!– And the group of everything –>
<xs:group name=“Content-logic.class”>
<xs:choice> <xs:element ref="and"/> <xs:element ref="or"/> <xs:element ref="xor"/> <xs:element ref="not"/> <xs:element ref="exists"/> <xs:element ref="forall"/> <xs:element ref="implies"/> </xs:choice>
</xs:group>
</xs:schema> <!–
Copyright û 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/. -->