<?xml version="1.0" encoding="ISO-8859-1"?>
<QEDEQ 
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:noNamespaceSchemaLocation="http://www.qedeq.org/0_03_04/xml/qedeq.xsd">
  <HEADER email="mime@qedeq.org">
    <SPECIFICATION name="qedeq_error_sample_00" ruleVersion="1.00.00">
      <LOCATIONS>
        <LOCATION value="http://qedeq.org/0_03_04/sample"/>
      </LOCATIONS>
    </SPECIFICATION>
    <TITLE><LATEX>Mathematical Error Example Module</LATEX></TITLE>
    <ABSTRACT>
      <LATEX>
         With this QEDEQ module error handling is demonstrated.
         Usage of an unkown logical operator. See line 36.
         This XML file violates already the XML file definition given in the
         above referenced XSD.
      </LATEX>
    </ABSTRACT>
    <AUTHORS>
      <AUTHOR email="michael@meyling.com">
        <NAME><LATEX>Michael Meyling</LATEX></NAME>
      </AUTHOR>
    </AUTHORS>
  </HEADER>
  <CHAPTER>
    <TITLE><LATEX>Error Example</LATEX></TITLE>
    <SECTION>
      <TITLE><LATEX>Errors</LATEX></TITLE>
      <SUBSECTIONS>
        <NODE id="axiom:unknownLogicalOperator">
          <NAME><LATEX>unknown operator</LATEX></NAME>
          <TITLE><LATEX>Unknown Operator</LATEX></TITLE>
          <AXIOM>
            <FORMULA>
              <XOR>
                <PREDVAR id="A" />
                <PREDVAR id="B" />
              </XOR>
            </FORMULA>
          </AXIOM>
        </NODE>
      </SUBSECTIONS>
    </SECTION>
  </CHAPTER>
</QEDEQ>
