% ADDITIONAL FONT DEFINITIONS
\font <=TimesRomanb at 12truebp % large boldface
\font >=CMCSC at 11pt % small caps
\def\lbf{\:<\def\mainfont{\:<}} % large boldface
\def\smc{\:>\def\mainfont{\:>}} % small caps
% TITLES
% Begin new file
\def\begfile#1{\gdef\filestamp{#1}\gdef\newfile{T}}
% Report title
\def\title#1{
\hrule \vskip 3 pt \hrule
\vskip 4pt
{\lbf #1}\par
\vskip 4 pt
\hrule \vskip 3 pt \hrule
\vskip 2ex plus 3ex}
% Section and subsection titles
% Usage:
% \section{1. Acid concepts}
% \subsection{1.1A. Annotation and Undefinitions}
% \subsection{Appendix A: The letters of the alphabet}
\def\section#1{
\vskip 3ex plus 2ex minus 0.5ex\penalty-800
\hbox{{\secfont #1}}
\penalty 1000\vskip 1ex}
\def\subsection#1{
\vskip 2ex plus 1.5ex minus 0.5ex\penalty-600
\hbox{{\subsecfont #1}}
\penalty 1000\vskip 1ex}
% Signature and date at end
\def\date#1{\penalty 1000\vskip 1cm minus 0.5cm
\penalty 1000\hbox to \textwidth pt{\hfil#1}}
\def\signed#1{\vskip 2cm minus 1cm
\hbox to \textwidth pt{\hfil
\vbox{\hrule\vskip5pt\hbox{\hskip 30pt #1\hskip30 pt}}
\hskip4cm}}
% Formats for course lists
% Usage:
\def\disc #1{\parindent 5mm
\par\vskip 3mm plus 5mm
\penalty-100{\bf #1}} % Course title and number
\def\curit #1: #2{\parindent 10mm\par
\vskip -1mm plus 1mm
\hangindent 15mm after1
{\smc #1:} #2} % Course item (instructor, etc.)
\def\pcur{\par\vskip -1mm plus 1mm
\noindent
\hangindent 15mm after0 } % \par inside course item
\def\enddisc{\parindent 5mm
\par\vskip 3mm plus 5mm
\penalty-100} % after last course.
% OPTIONS AND DIMENSIONAL PARAMETERS
% (dimensions in points unless otherwise indicated)
% Page width and related parameters
\def\pagewidth{440} % page width
% dimensions in effect during normal text
\def\textwidth{400} % text width
\def\progwidth{400} % program width
\def\algwidth{400} % width of algorithms - max: page width
\def\theowidth{\textwidth} % width of theorems
\def\textheight{640} % height available for text
\def\leftskip{35} % extra space on left margin of page
\def\ftfigwidth{300} % width of text in footnotes with figures
\def\figcapwidth{280} % width of figure captions
% Text
\def\textindent{20} % extra indentation given by \indent
\def\itemindent{20} % indentation of \item and \itemno body
\jpar 10
\def\stdbaselineskip{2.4} % normal inter-baseline distance (in ex)
\def\smallbaselineskip{2.5} % inter-baseline distance for \small (in ex)
\def\thelineskip{0.2} % minimum distance betweeen lines (in ex)
\def\theparskip{2.0} % extra skip between paragraphs (in ex)
\def\stdparindent{40} % standard indentation for paragraphs
\def\smallparindent{30} % indentation of paragraphs in \small
% References
\def\refindent{4} % indentation of reference body (in em)
\def\refremindent{5} % indentation of reference remarks (in em)
\def\refvskip{2} % vskip between references (in ex)
% Algorithms
\def\algindent{20} % indentation of outermost bracket
\def\algvskip{0.3} % skip between alg. steps (in ex)
\def\algthickness{0.6} % thickness of block brackets
\def\alglevelindent{20} % extra indent. per level (incl. \algthickness)
\def\algstepindent{18} % indent. of \step text rel. to innermost bracket
\def\algcommindent{18} % indent. of \comm text rel. to innermost bracket
\def\algcontindent{8} % extra indentation of continuation lines
\def\algstepnoskip{3} % space between step number and step text
% Programs
\def\progindent{20} % indentation of outermost bracket
\def\progvskip{0.3} % skip between prog. steps (in ex)
\def\progthickness{0.6} % thickness of block brackets
\def\proglevelindent{12} % extra indent. per level (incl. \progthickness)
\def\progstepindent{4} % indent. of \step text rel. to innermost bracket
\def\progcommindent{4} % indent. of \comm text rel. to innermost bracket
\def\progcontindent{8} % extra indentation of continuation lines
% Theorems, definitions and proofs
\def\theostatindent{20} % indentation of them. statements
\def\theoitemindent{40} % \theostatindent+\itemindent
\def\proofindent{10} % indentation of proofs
\def\begproofmark{{\bf Proof: }}
\def\endproofmark{\lower0.15ex\hbox{\hskip0.2em{\mal \char'061}}} % square
% Figures
\def\omitfigures{F} % if T, suppress all figure spaces (just captions).
\def\figmark{} % change to, say, \hbox{>>==>} for PressEdit and such
% Footnotes
\botsep{\vskip4pt plus 2pt
\hrule width 2truein\vskip2pt} % before first \botinsert
\botskip 3pt plus 2pt % space between \botinserts
% File stamp
\def\printfilestamp{F} % put \filestamp on 1st page
% OUTPUT ROUTINE
% Global flags and variables (internal)
\def\fpage{T} % T on first page of output.
\def\newfile{F} % T on first page of a new file.
\setcount0 1 % page number
% Page header and footer formats
\def\pageheaderbox{}
\def\pagefooterbox{\vbox
{\vskip 15pt
\hbox to \pagewidth pt{\small
\if T\fpage{}\else{\hfil {\rm \count0}\hfil}
\if T\printfilestamp{\null\rspose{\hbox{\it \filestamp}}}
\else {}} }}
% Page format
\output{
\baselineskip -1pt \lineskip 0pt
\hbox{\hskip \leftskip pt
\vbox
{\pageheaderbox
\hbox to \pagewidth pt{\hss\vbox{\page}\hss}
\pagefooterbox}}
\advcount0
\gdef\newfile{F}
\gdef\fpage{F}
}