\input basic
% file: REPHDR.TEX
% last changed by J. Stolfi  September 3, 1982  5:43 PM

% font definitions

\font m←cmR12
\font <←cmB12

\font v←cmtt
\font h←cmtt8

\font p←cmr8
\font o←cmi8
\font t←cmb8

\font e←cmr8
\font k←cmi8
\font y←cmsy8

\font S←arrows at 10truebp
\font K←cmcsc

\def\small{\baselineskip 9pt \dispskip9pt plus3pt minus7pt
                 \dispaskip0pt plus3pt \dispbskip 5pt plus3pt minus2pt
                 \def\rm{\:p} \def\it{\:o} \def\bf{\:t} \def\fx{\:h}
                 \mathrm edd \mathit kjj \mathsy yxx \rm}

\def\lbf{\:<}
\def\smc{\:K}
\def\fx{\:v}

% output routine

\gdef\fpage{T}
\def\header{Please define \\header!}

\output{\baselineskip 0pt \lineskip 0pt
 \hbox{\hskip 0.22truein
  \vbox to 0pt{\vskip -0.54truein
      \if T\fpage{}
      \else {\hbox to size {\smc \header\hfil\count0}
	     \vskip 4 pt
	     \hrule
	     \vskip 3 pt
	     \hrule
	     \vskip 0.33truein plus 6 in minus 6 in}
  }
 }
 \hbox{\hskip 0.22truein\vbox{\page}}
 \advcount0
 \if T\fpage {\gdef\fpage{F}} \else {}
}

% mathematical symbols

\def\lbrace{\{}
\def\rbrace{\}}
\def\pr{↑\prime}
\def\prr{↑{\prime\prime}}
\def\bu{$\bullet$}
\def\leq{\mathrel{\char'424}}
\def\geq{\mathrel{\char'425}}
\def\neq{\mathrel{\char'434}}

% definitions for display formulas

\chcode'174←4  % alignment tab

\def\va{\noalign{\vskip 3pt plus1pt}} % space after \cr
\def\vb{\noalign{\vskip 6pt plus2pt}} % more space
\def\vc{\noalign{\vskip 9pt plus3pt}} % more more space
\def\vd{\noalign{\vskip 12pt plus4pt}} % more more more space

% puts frame around box #1

\def\boxit#1{\vbox{\hrule\hbox{\vrule\hskip3pt\vbox{
     \vskip3pt #1 \vskip3pt}\hskip3pt\vrule}\hrule}}

% chapter and section titles

\def\chap#1{\hbox{{\lbf #1}}
    \penalty 1000\vskip 6pt plus 3pt}
\def\sect#1{\vskip 10mm plus 5mm minus 2mm\penalty-600
    \hbox{{\lbf #1}}
    \penalty 1000\vskip 6pt plus 3pt}
\def\endchap{\par\vfill\eject}

% footnotes

\def\footline#1{\if 1#1{\vskip6pt plus10pt\hrule width 4cm
   \vskip4pt}\else{}}
\def\foot#1#2{$\null↑{#1}$\botinsert{\footline#1
      \vskip 5pt plus2pt\hbox par 420pt{\small $\null↑{#1}$ #2}}}
\def\footfig#1(#2)#3{$\null↑{#1}$\botinsert{\footline#1
      \vskip 5pt plus2pt\hbox{
        $\vcenter{\hbox par 320pt{\small $\null↑{#1}$ #3}}
         \vcenter{\vbox to #2cm{\hbox to 80pt{\null}}}$}}}
\def\ftfill{\hskip0pt plus1000pt }  % \hfill in footnotes
\def\ftpar{\ftfill\null\penalty-2000 } % \par (of sorts) in footnotes

% small print paragraphs

\def\digress#1{\vskip 3pt plus6pt \hangindent 15pt after0
                        {\small #1\par}}
\def\dp{\hangindent 15pt after0 }     % new paragraph in digression

% problem and caveat prefixes

\def\prob{{\curfont S n}\ {\bf\count1}.\ \advcount1}
\def\caveat{\vskip 4 pt plus 2 pt \it}

\def\blackslug{\hbox{\hskip1pt\vrule width4pt height6ptdepth1.5pt \hskip1pt}}

% space for figure

\def\fig#1{$$\hbox to 2in{\vbox to #1cm{\null}}$$}

% formats for course lists

\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.

% References

\def\paref{\par\vskip 1mm\noindent
    \hangindent 6mm after1 } % \par for references
\def\titsp{\quad
    \hskip 0mm plus 3mm minus 0mm} %between author & title

% Portuguese tilde and cedille endings

\def\ao{\s ao }
\def\AO{\s AO }
\def\cao{\-\c c\s ao }
\def\CAO{\c C\s AO }
\def\oe{\s oe }
\def\oes{\s oes }
\def\coes{\-\c c\s oes }
\def\I{\'\i }
\def\u{\unskip} % for use between \ao (etc.)  and punctuation
\def\py#1{\par\vskip #1mm } 
\def\pn{\par\noindent }

% miscellaneous

\def\lead{\leaders\hbox to 10 pt{\hfil.\hfil}\hfil} % . . . . . 
\def\lftline#1{\hbox to size{#1\hfil}} % left-justified text
\def\date#1{\vskip 1cm\hbox to size{\hfill Stanford, #1\hskip 2in}}
\def\signed#1{\vskip 1in\hbox to size{{\hfill #1\hskip 1in}}}

% initial settings

\parindent 5mm
\parskip 6 pt plus 1 pt
\topspace .1 in
\hsize 420pt
\jpar 1000