%\input /u/rhl/kron/fonts
%\twelvepoint
%
% Certain definitions that dvi2TeX occasionally needs
%
\let\Chicago=\rm
\let\Courier=\rm
\let\Geneva=\rm
\let\Helvetica=\rm
\let\Monaco=\rm
\let\NewYork=\rm
\let\Palatino=\rm
\let\Times=\rm
%
\def\date{\day/\month/\year}
\def\pict#1#2{			% outline a box, width #1, height #2
  \hbox{\lower 0.3ex\vbox{%
	\hsize #1\hrule\line{\vrule height #2\hfil\vrule}\hrule}}}
\def\pointsize#1{}
\def\timestr{%	The current time in the form hr:min
  \count1=\time\divide\count1 by 60
  \count2=\time\count3=\count1\multiply\count3 by 60\advance\count2 by -\count3
  \ifnum\count1 > 12\advance\count1 by -12\fi
  \count1:\count2}
\def\unknown#1{{\bf: Unknown Character: #1}}
%
% We may need a caret
%
\def\caret/{\ifmmode$\^{}$\else\^{}\fi}
%
% Symbols that TeX doesn't usually support
%
\def\therefore{			% three dots forming a triangle
  \mathrel{\hbox{.\thinspace.}\raise0.9ex\hbox{\kern-1.2ex .}\kern0.3ex}}
\def\pound/{{\it\$\/}}		% Pound Sterling
\def\ppercent/{\%_\circ}	% ppm
\def\reg/{}			% registered (R)
\def\trade/{}			% Trade mark
\def\yen/{}			% Yen symbol