blob: 1652bc6e8fd9c81a4248750a7a91424d8b759267 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
%
% 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}
|
