% geaenderte Version zu WICSBOOK.sty --- KDS 30.6.92
 
\pagestyle{empty}

\def\onesize{\@setsize\onesize{16pt}\xivpt\@xivpt}
\def\twosize{\@setsize\onesize{14pt}\xiipt\@xiipt}
\def\titlesize{\@setsize\titlesize{18pt}\xviipt\@xviipt}
\def\ninesize{\@setsize\ninesize{10pt}\ixpt\@ixpt}

\textwidth342pt
\textheight 46pc

\topsep 2pt plus 2pt minus 4pt
\partopsep 4pt plus 2pt minus 1pt
\mathindent0.5cm

\renewcommand{\section}{\@startsection {section}{1}{\z@}{-3.5ex plus -1ex minus
-.2ex}{12pt plus 4pt minus 4pt}{\Large\bf\boldmath
\pretolerance=10000\relax\rightskip=0pt plus8em}}
\renewcommand{\subsection}{\@startsection{subsection}{2}{\z@}{-3.25ex plus-1ex minus
 -.2ex}{8pt plus 4pt minus 4pt}{\normalsize\bf\boldmath
\pretolerance=10000\relax\rightskip=0pt plus8em}}
\renewcommand{\subsubsection}{\@startsection{subsubsection}{3}{\z@}{-3.25ex plus-1ex minus
 -.2ex}{-0.5em plus -.22em minus -0.1em}{\normalsize\bf\boldmath}}

\def\footnotesize{\@setsize\footnotesize{9pt}\viiipt\@viiipt
\abovedisplayskip 6pt plus 2pt minus 4pt\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip \z@ plus 1pt\belowdisplayshortskip 3pt plus 1pt minus
2pt
\def\@listi{\leftmargin\leftmargini \topsep 3pt plus 1pt minus 1pt\parsep 2pt
plus 1pt minus 1pt
\itemsep \parsep}}

\def\@normalsize{\@setsize\normalsize{11pt}\xpt\@xpt
\abovedisplayskip 10pt plus2pt minus5pt\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip \z@ plus3pt\belowdisplayshortskip 6pt plus3pt
minus3pt}

\renewcommand{\labelenumi}{(\roman{enumi})}

\newcommand{\crossbox}{ \Box \hspace*{-9pt} \times}
\newcommand{\disunion}{\stackrel{\cdot}{\cup}}