% % Definitionen nur fuer MDOC1,2,3 + ANHB !!! % \def\mf{METAFONT} \def\P{Partitur} \def\BNF{Backus--Naur--Form} \def\kf{kontext--frei} \def\G{Grammatik} \def\A{Automatisierung} \def\Em{Eingabemethode} \def\Ev{Eingabeverfahren} \def\SZ{Seiten-- und Zeilenumbruch} \def\Tss{Textsatzsystem} \def\m{musikalisch} \def\abschnitt{\par\penalty-100\vskip15pt plus7.5pt minus10pt\noindent} \def\absatz{\par\penalty-50\vskip7.5pt plus4.5pt minus6pt\noindent} \def\abs{\parsep} \def\zB{zum Beispiel } \def\dh{das hei\3t } \def\lit#1{\lbrack {#1}\rbrack} \def\de#1{{\sl #1}} \def\q{\quad} \def\qq{\quad\quad} \def\abl{\mathop{\Longrightarrow}\limits} \def\ks#1{\noindent\hbox{{\tt \char\hex5C}\bf#1}} %\def\ks#1{\bs{\bf#1}} %definition f"ur Kontrollsequenzen \mathchardef\SETMINUS=\hex226E \def\SETminus{\raise2pt\hbox{${\scriptstyle\SETMINUS}$}} \def\Setminus{\raise1.5pt\hbox{${\scriptscriptstyle\SETMINUS}$}} \def\setminus{{\mathchoice{\SETminus}{\SETminus}{\Setminus} {\Setminus}}} \mathchardef\Bullet=\hex220F \def\bullet{\,{\raise1pt\hbox{$\scriptscriptstyle\Bullet$}}\,} \mathchardef\CHI=\hex011F \def\chi{{\raise2pt\hbox{$\CHI$}}} \def\bs{\noindent\hbox{{\tt \char\hex5C}}}%Backslash \def\nl#1{{$\langle${\rm #1}$\rangle$}} %Klammerung f"ur BNF im Text \def\nls#1{{$\langle${\eightrm #1}$\rangle$}} %Klammerung f"ur BNF im Text eightrm \def\nm#1{{\langle{\hbox{\rm#1}}\rangle}}% " " "in Math \def\T{{$|$}} %definiert den Trennungsstrich f"ur die BNF \def\lk{\hbox{{\tt\char\hex7B}}}%linke Klammer auf \def\rk{{\hbox{\tt \char\hex7D}}}%rechte \def\strich{{\hbox{\tt \char\hex7C}}} \def\dpkt{{\hbox{\tt \char\hex3A}}}%Doppelpunkt \def\gleich{{\hbox{\tt \char\hex3D}}}% \def\slash{\noindent{\hbox{\tt \char\hex2F}}} \def\blank{{\hbox{\tt \char\hex20}}} \def\bss{\hbox{{\eighttt \char\hex5C}}}%kleiner backslash \def\lks{\hbox{{\eighttt\char\hex7B}}}%kleine linke Klammer \def\rks{{\hbox{\eighttt \char\hex7D}}}%rechts \def\blanks{{\hbox{\eighttt \char\hex20}}}%kleines blank \def\subheading#1{\smallbreak\noindent{\tenpoint\bf\ignorespaces #1\unskip.\enspace}\ignorespaces}