%	Use TeX to format for a terminal
%	Jan Wielemaker

\textwidth 15cm
\textheight 100in

\def\Huge{}
\def\LARGE{}
\def\Large{}
\def\large{}
\def\normalsize{}
\def\footnotesize{}
\def\scriptsize{}
\def\scriptscriptsize{}
\def\small{}
\def\Small{}
\def\tiny{}
\arrayrulewidth 0pt
\tabcolsep 1em
\def\hline{}
\def\vline{}
\renewcommand{\footnote}[1]{}
\renewenvironment{boxed}{}{}

\def_{\ifmmode^A\else\char95\fi}
\def\bullet{\verb@*@}
\def\equiv{\mbox{\tt ==}}
\def\tableofcontents{}
\renewcommand{\cite}[1]{}
\renewcommand{\sqrt}[1]{\mbox{square root of #1}}
\renewcommand{\sin}[1]{\mbox{sine of #1}}
\renewcommand{\cos}[1]{\mbox{cosine of #1}}
\renewcommand{\tan}[1]{\mbox{tangus of #1}}
\renewcommand{\arcsin}[1]{\mbox{inverse sine of #1}}
\renewcommand{\arccos}[1]{\mbox{inverse cosine of #1}}
\renewcommand{\arctan}[1]{\mbox{inverse tangus of #1}}
\renewcommand{\ln}[1]{\mbox{natural logarithm of #1}}
\renewcommand{\lg}[1]{\mbox{10 base logarithm of #1}}
\newcommand{\pow}[2]{\mbox{#1 to the power #2}}
\renewcommand{\pi}{\mbox{pi}}
\renewcommand{\times}[2]{#1 times #2}
\renewcommand{\frac}[2]{#1 / #2}

\def\appendix{}
\let\sec=\section
\def\section{\pagebreak\sec}
\let\subsec=\subsection
\def\subsection{\pagebreak\subsec}
\let\subsubsec=\subsubsection
\def\subsubsection{\pagebreak\subsubsec}
\setcounter{secnumdepth}{3}

\def\rm{\tt}
\def\it{\tt}
\def\bf{\tt}
\def\sl{\tt}

\def\copyright{(C)}
