diff options
Diffstat (limited to 'macros/mtex/documentation/mdocdef2.tex')
-rw-r--r-- | macros/mtex/documentation/mdocdef2.tex | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/macros/mtex/documentation/mdocdef2.tex b/macros/mtex/documentation/mdocdef2.tex new file mode 100644 index 0000000000..1652bc6e8f --- /dev/null +++ b/macros/mtex/documentation/mdocdef2.tex @@ -0,0 +1,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} + |