<LATEX language="en">
Charset Example Module
</LATEX>
<LATEX language="de">
Zeichensatzbeispielmodul
</LATEX>
Here we check if errors are presentated correctly, even if the charset is not default.
Hier prüfen wir, ob Fehler korrekt angezeigt werden, auch wenn der Zeichensatz nicht Standard ist.
Michael Meyling
<LATEX language="en">
Basics
</LATEX>
<LATEX language="de">
Anfangsgründe
</LATEX>
<LATEX language="en">UTF-16 Charset</LATEX>
<LATEX language="de">UTF-16 Zeichensatz</LATEX>
axiom of extensionality
Extensionalitätsaxiom
<LATEX language="en">Axiom of Extensionality</LATEX>
<LATEX language="de">Extensionalitätsaxiom</LATEX>
We use the unknown predicate äöüÄÖÜßèéêëÈÉÊË€.
Wir benutzen das unbekannte Predikat äöüÄÖÜßèéêëÈÉÊË€.