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

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.