From: Martin Mares <mj@ucw.cz>
Date: Fri, 22 Feb 2008 16:52:39 +0000 (+0100)
Subject: Enable amstex and use the curly leq for minors.
X-Git-Tag: printed~232
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=51bb79798e2b1a0c4fe7a1e2936cbf1d03a368a6;p=saga.git

Enable amstex and use the curly leq for minors.
---

diff --git a/macros.tex b/macros.tex
index 4a0fd1e..c10500e 100644
--- a/macros.tex
+++ b/macros.tex
@@ -3,7 +3,7 @@
 
 \input epsf.tex
 \input btxmac.tex
-%\input amssym.tex
+\input amssym.tex
 
 \catcode`@=11
 
@@ -43,6 +43,8 @@
 \def\timesalpha{\mskip2mu\alpha}
 \def\timesbeta{\mskip2mu\beta}
 \def\tower{\mathop\uparrow}
+\def\Forb{{\rm Forb}}
+\def\minorof{\preccurlyeq}
 
 % Bit strings
 \def\0{{\bf 0}}
@@ -110,12 +112,12 @@
 \mathf@nt{\fntmathtok}{sl}{\fntmathsize}{cm}\textfont\slfam=\m@@f
 \mathf@nt{\fntmathtok}{bx}{\fntmathsize}{cm}\textfont\bffam=\m@@f
 \mathf@nt{\fntmathtok}{tt}{\fntmathsize}{cm}\hyphenchar\m@@f=-1\textfont\ttfam=\m@@f
-%\mathf@nt{\fntmathtok}{msam}{\fntmathsize}{}\textfont\msafam=\m@@f
-%\mathf@nt{\fntmathstok}{msam}{\fntmathssize}{}\scriptfont\msafam=\m@@f
-%\mathf@nt{\fntmathsstok}{msam}{\fntmathsssize}{}\scriptscriptfont\msafam=\m@@f
-%\mathf@nt{\fntmathtok}{msbm}{\fntmathsize}{}\textfont\msbfam=\m@@f
-%\mathf@nt{\fntmathstok}{msbm}{\fntmathssize}{}\scriptfont\msbfam=\m@@f
-%\mathf@nt{\fntmathsstok}{msbm}{\fntmathsssize}{}\scriptscriptfont\msbfam=\m@@f
+\mathf@nt{\fntmathtok}{msam}{\fntmathsize}{}\textfont\msafam=\m@@f
+\mathf@nt{\fntmathstok}{msam}{\fntmathssize}{}\scriptfont\msafam=\m@@f
+\mathf@nt{\fntmathsstok}{msam}{\fntmathsssize}{}\scriptscriptfont\msafam=\m@@f
+\mathf@nt{\fntmathtok}{msbm}{\fntmathsize}{}\textfont\msbfam=\m@@f
+\mathf@nt{\fntmathstok}{msbm}{\fntmathssize}{}\scriptfont\msbfam=\m@@f
+\mathf@nt{\fntmathsstok}{msbm}{\fntmathsssize}{}\scriptscriptfont\msbfam=\m@@f
 
 % Blackboard bold font
 \newfam\bbfam