<LATEX language="en">
Mathematical Example Module
</LATEX>
<LATEX language="de">
Mathematisches Beispielmodul
</LATEX>
This should contain predicate logic formulas.
Hier sollen prädikatenlogische Formeln stehen.
Michael Meyling
<LATEX language="en">
Predicate Logic
</LATEX>
<LATEX language="de">
Prädikatenlogik
</LATEX>
<LATEX language="en">Simple Formulas</LATEX>
<LATEX language="de">Einfache Formeln</LATEX>
identity definition
Definition der Identität
<LATEX language="en">Identity\index{identity}\index{definition!of identity}</LATEX>
<LATEX language="de">Identität\index{Identität}\index{Definition!der Identität}</LATEX>
#1 \ = \ #2