complexType Logic.type
diagram
version
namespace http://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 ref="Common.attrib"/>
</xsd:complexType>