Math ML 2 Generated using Liquid XML Studio by Liquid Technologies Ltd
13 October 2007
Definition Type Group
Name Content-logic.class
Namespace http://www.w3.org/1998/Math/MathML
XSD Schema content\logic.xsd
XSD Schema Diagram
XSD Schema Code
<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>
Child Elements
Name Type Min Occurs Max Occurs
and A:and (1) (1)
or A:or (1) (1)
xor A:xor (1) (1)
not A:not (1) (1)
exists A:exists (1) (1)
forall A:forall (1) (1)
implies A:implies (1) (1)
Derivation Tree
[No Sub Types]
Content-logic.class
    [No Super Types]
Generated using Liquid XML Studio by Liquid Technologies Ltd