<LATEX language="en">
<![CDATA[
Mathematical Example Module
]]>
</LATEX>
<LATEX language="de">
<![CDATA[
Mathematisches Beispielmodul
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
Sample
]]>
</LATEX>
<LATEX language="de">
<![CDATA[
Beispiel
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
First and only
]]>
</LATEX>
<LATEX language="de">
<![CDATA[
Erstes und einziges
]]>
</LATEX>
Wir schreiben unsere Proposition, welche Predicate benutzt, die in importierten QEDEQ-Modulen definiert sind.