This is an XML Schema module for the logic operators of content MathML.
Author: Stéphane Dalmas, INRIA.

<?xml version="1.0" encoding="UTF-8"?> <xs:schema elementFormDefault="qualified" targetNamespace="http://www.w3.org/1998/Math/MathML" xmlns="http://www.w3.org/1998/Math/MathML" xmlns:xs="http://www.w3.org/2001/XMLSchema"> <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 &#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/. -->

XML schema documentation generated with DocFlex/XML RE 1.7.2 using DocFlex/XML XSDDoc 2.1.0 template set