blob: 298a58ea7811cdee1cced5b795e2f3a60c988b75 (
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
|
% =========================================
% Definitions for use with the pphs program
% =========================================
\typeout{For use with the pphs program}
% Definitions of commands used by pphs
\newbox\foo
\def\skipover#1{\setbox\foo\hbox{#1}\hskip\wd\foo}
\def\plusplus{\hbox{$+\mkern-7.5mu+$}}
\def\xspa#1{\hskip#1ex}
\def\bareq{\setbox\foo\hbox{$=$}\makebox[\wd\foo]{$|$}}
% User-redefinable commands - typefaces
\def\keyword{\bf}
\def\iden{\it}
\def\stri{\rm}
\def\com{\rm}
\def\numb{\rm}
% User-redefinable commands - quote marks
\def\forquo{\hbox{\rm '}}
\def\escquo{\hbox{\rm '}}
|
