complexType  Logic.type 
diagram
versionV3_1
namespacehttp://www.w3.org/1998/Math/MathML
used by
element {http://www.w3.org/1998/Math/MathML}:exists  {http://www.w3.org/1998/Math/MathML}:forall  {http://www.w3.org/1998/Math/MathML}:implies  {http://www.w3.org/1998/Math/MathML}:not  {http://www.w3.org/1998/Math/MathML}:or  {http://www.w3.org/1998/Math/MathML}:xor
attributes
Name  Type Use Default Fixed annotation
encoding xsd:string        
definitionURL xsd:anyURI        
class xsd:NMTOKENS        
style xsd:string        
xref xsd:IDREF        
id xsd:ID        
xlink:href xsd:anyURI        
source<xsd:complexType  name="Logic.type">
<xsd:attributeGroup  ref="Definition.attrib">
</xsd:attributeGroup> <xsd:attributeGroup  ref="Common.attrib">
</xsd:attributeGroup>
</xsd:complexType>