<LATEX>Mathematical Error Example Module</LATEX>
With this QEDEQ module error handling is demonstrated.
Too many arguments for logical implication operator. See line 39.
This XML file violates already the XML file definition given in the
above referenced XSD.
Michael Meyling
<LATEX>Error Example</LATEX>
<LATEX>Errors</LATEX>
more than two operands for implication
<LATEX>More than Two Operands</LATEX>