<LATEX language="en">
Class Operator Definition
</LATEX>
We define the class operator constant and some other things.
Michael Meyling
<LATEX language="en">
The Only One
</LATEX>
<LATEX language="en">Identity</LATEX>
is a member ofist enthalten in
<LATEX language="en">Membership Operator</LATEX>
<LATEX language="de">Elementbeziehung</LATEX>
#1 \in #2class definition
<LATEX language="en">Class definition</LATEX>