\parindent=0.8cm
\parskip=3pt plus 1pt minus 1pt
-\smallskipamount=4pt plus 1.2pt minus 1.2pt
-\medskipamount=7pt plus 2.5pt minus 2pt
-\bigskipamount=15pt plus 5pt minus 4pt
-
-\abovedisplayskip=15pt plus 4pt minus 10pt
-\abovedisplayshortskip=0pt plus 3pt
-\belowdisplayskip=15pt plus 4pt minus 10pt
-\belowdisplayshortskip=8.5pt plus 3.5pt minus 4.5pt
+% Parameters for final typesetting (bigger inner margins etc.)
+\newif\iffinal
+\finaltrue
+\newdimen\hwobble
+\hwobble=10mm
+\advance\hsize by -10mm
%%% Miscellanea %%%
\def\em#1{{\it #1\/}}
\def\df#1{{\it #1\/}} % when we define something
\def\O{{\cal O}}
-\def\<#1>{\ifmmode
- \mathchoice{\hbox{\it #1\/}}{\hbox{\it #1\/}}{\hbox{\eightti #1\/}}{\hbox{\sixti #1\/}}%
- \else\leavevmode\hbox{\it #1\/}\fi}
\let\>=\noindent
\def\qed{{\parfillskip=0pt\allowbreak\hfill\nobreak $\spadesuit$\par}}
\def\qeditem{{\parfillskip=0pt\hfill\rlap{\hskip\rightskip\llap{$\spadesuit$}}\par}}
\def\E{{\bb E}}
\def\crpt{\mathbin{\Uparrow}}
\def\C{{\cal C}}
+\def\sgc{\mathbin{.}}
\def\brk{\hfil\break}
\footcnt=0
\def\foot#1{\global\advance\footcnt by 1{\parindent=0.25in\parskip=0pt\footnote{$^{\bf\the\footcnt}$}{#1}}}
-%%% Fonts %%%
-
-\font\twelverm=cmr12
-\font\twelveit=cmti12
-\font\twelvebf=cmbx12
-
-%\font\twelverm=pplr8z at 12pt
-%\font\twelveit=pplri8z at 12pt
-%\font\twelvebf=pplb8z at 12pt
-
-\font\twelvesl=cmsl12
-\font\twelveb=cmb12
-\font\twelvesc=cmcsc12
+%%% Font definition macros (used in fonts<size>.tex) %%%
\def\mathf@nt#1#2#3#4{%
\toks0=\expandafter{\csname#1#2\endcsname}%
\fi%
\edef\m@@f{\the\toks0}}
-\def\fntmathsize{12}
-\def\fntmathtok{twelve}
-\def\fntmathssize{8}
-\def\fntmathstok{eight}
-\def\fntmathsssize{6}
-\def\fntmathsstok{six}
-
-\mathf@nt{\fntmathtok}{r}{\fntmathsize}{cm}\textfont0=\m@@f
-\mathf@nt{\fntmathstok}{r}{\fntmathssize}{cm}\scriptfont0=\m@@f
-\mathf@nt{\fntmathsstok}{r}{\fntmathsssize}{cm}\scriptscriptfont0=\m@@f
-\mathf@nt{\fntmathtok}{mi}{\fntmathsize}{cm}\skewchar\m@@f='177\textfont1=\m@@f
-\mathf@nt{\fntmathstok}{mi}{\fntmathssize}{cm}\skewchar\m@@f='177\scriptfont1=\m@@f
-\mathf@nt{\fntmathsstok}{mi}{\fntmathsssize}{cm}\skewchar\m@@f='177\scriptscriptfont1=\m@@f
-\mathf@nt{\fntmathtok}{sy}{\fntmathsize}{cm}\skewchar\m@@f='60\textfont2=\m@@f
-\mathf@nt{\fntmathstok}{sy}{\fntmathssize}{cm}\skewchar\m@@f='60\scriptfont2=\m@@f
-\mathf@nt{\fntmathsstok}{sy}{\fntmathsssize}{cm}\skewchar\m@@f='60\scriptscriptfont2=\m@@f
-\mathf@nt{\fntmathtok}{ex}{\fntmathsize}{cm}\textfont3=\m@@f\scriptfont3=\m@@f\scriptscriptfont3=\m@@f
-\mathf@nt{\fntmathtok}{ti}{\fntmathsize}{cm}\textfont\itfam=\m@@f
-\mathf@nt{\fntmathstok}{ti}{\fntmathssize}{cm}\scriptfont\itfam=\m@@f
-\mathf@nt{\fntmathsstok}{ti}{\fntmathssize}{cm}\scriptscriptfont\itfam=\m@@f
-\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
-
-% Blackboard bold font
-\newfam\bbfam
-\font\bbtwelve=bbm12
-\font\bbeight=bbm8
-\font\bbsix=bbm6
-\textfont\bbfam=\bbtwelve
-\scriptfont\bbfam=\bbeight
-\scriptscriptfont\bbfam=\bbsix
-\def\bb{\bbtwelve\fam\bbfam}
-
-% Font switches
-\def\rm{\fam\z@\twelverm}
-\def\it{\fam\itfam\twelveit}
-\def\bo{\fam\bffam\twelveb}
-\def\bf{\fam\bffam\twelvebf}
-\def\tt{\fam\ttfam\twelvett\hyphenchar\twelvett=-1\relax}
-\def\sc{\twelvesc}
-\def\sl{\fam\slfam\twelvesl}
-
-% Switch to 12pt baselines
-\rm
-\baselineskip=14.4pt
-\lineskip=1.2pt
-\setbox\strutbox=\hbox{\vrule height 10.2pt depth 4.2pt width 0pt}
-
-% Other fonts
-\font\chapfont=csssdc17 scaled \magstep1
-\font\secfont=csb14
-\font\secitfont=csbxti14
-
-%%% FIXME
-\footline={\hss\twelverm\folio\hss}
-
-% We have to redefine \big and friends as we are using 12pt symbols
-\def\big#1{{\hbox{$\left#1\vbox to11.5\p@{}\right.\n@space$}}}
-\def\Big#1{{\hbox{$\left#1\vbox to14.5\p@{}\right.\n@space$}}}
-\def\bigg#1{{\hbox{$\left#1\vbox to17.5\p@{}\right.\n@space$}}}
-\def\Bigg#1{{\hbox{$\left#1\vbox to20.5\p@{}\right.\n@space$}}}
-
%%% Enumerated lists %%%
\newif\ifitem\itemtrue
\def\appendices{\chapcount=99}
+\def\oddpage{%
+\iffinal
+ \ifodd\pageno
+ \else
+ \hglue 1in \vfill\supereject
+ \fi
+\fi
+}
+
\def\rawchapter#1{\vfill\supereject
+\oddpage
\leftline{\chapfont #1}
\bigskip
}
\writetoc{chap}{#1}
}
-\def\section#1{\bigskip
-\advance\seccount by 1
-\thmcount=0
-\edef\currentid{\currentchap.\the\seccount}
-\leftline{\secfont\currentid. #1}
+\def\vensure#1{\dimen0=#1
+\vskip 0pt plus \dimen0
+\penalty-1000
+\vskip 0pt plus -\dimen0
+}
+
+\def\rawsection#1{\bigskip\vensure{0.5in}
+\leftline{\secfont #1}
\nobreak
\medskip
\nobreak
+}
+
+\def\section#1{\advance\seccount by 1
+\thmcount=0
+\edef\currentid{\currentchap.\the\seccount}
+\rawsection{\currentid. #1}
\writetoc{sec}{#1}
}
\def\example{\proclaim{Example}}
\def\label#1{{\sl (#1)\/}\enspace}
-\def\labelx#1{\label{#1}\hfil\break\kern 0pt} % Eat spaces
+\def\labelx#1{\label{#1}\hfil\break\eatspaces}
+\def\eatspaces{\kern0pt}
\def\thmn{\thm\labelx}
\def\lemman{\lemma\labelx}
\def\problemn{\problem\labelx}
\def\remn{\rem\labelx}
-\def\paran#1{\para {\sl #1.\/}\enspace\kern 0pt}
+\def\paran#1{\para {\sl #1.\/}\enspace\eatspaces}
\def\proof{\noindent {\sl Proof.}\enspace}
\def\proofsketch{\noindent {\sl Proof sketch.}\enspace}
%%% Bibliography %%%
%\bibliographystyle{abbrv}
-\bibliographystyle{alpha}
+\bibliographystyle{mjalpha}
\def\dumpbib{
\def\bblhook{\parskip=2pt plus 1pt minus 0.5pt}
\bibliography{biblio}
\hyphenation{Ra-ma-chan-dran}
+%%% Output routine %%%
+
+\output{\sagaoutput}
+
+\def\sagaoutput{
+\iffinal
+ \ifodd\pageno \hoffset=\hwobble \else \hoffset=0pt \fi
+\fi
+\plainoutput}
+
+\def\makefootline{\baselineskip30pt\lineskiplimit 0pt\line{\the\footline}}
+
+\footline={\ifodd\pageno
+ {\hfil\mi\the\pageno}%
+\else
+ {\mi\the\pageno\hfil}%
+\fi
+}
+
%%% The End %%%
\catcode`@=12