summaryrefslogtreecommitdiff
path: root/macros/mtex/documentation/mdocdef2.tex
diff options
context:
space:
mode:
Diffstat (limited to 'macros/mtex/documentation/mdocdef2.tex')
-rw-r--r--macros/mtex/documentation/mdocdef2.tex60
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}
+