noNamespace
element AXIOM

Documentation

Mathematical axiom.

Properties

This component is not nillable.

Model

<AXIOM
  definedOperator = xs:string>
(FORMULA, DESCRIPTION )
</AXIOM>

definedOperator

Axiom defines an operator. This operator can be elimnated by using this axiom. So this axiom is not neccessary for the theory. It leads just to a conservative language extension.

Type:

xs:string

Use:

optional

Form:

unqualified

Source

<xs:element name="AXIOM" substitutionGroup="NODETYPE">
  <xs:complexType>
    <xs:sequence>
      <xs:element ref="FORMULA">
      </xs:element>
      <xs:element minOccurs="0" name="DESCRIPTION">
        <xs:complexType>
          <xs:sequence>
            <xs:element maxOccurs="unbounded" minOccurs="1" ref="LATEX"/>
          </xs:sequence>
        </xs:complexType>
      </xs:element>
    </xs:sequence>
    <xs:attribute name="definedOperator" type="xs:string">
    </xs:attribute>
  </xs:complexType>
</xs:element>