blob: 809ff9769d721768702c1d3e74aa7515eb92524b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
%\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
|
