ghc/CONTRIB/pphs/docs/pphs.sty

   1 % =========================================
   2 % Definitions for use with the pphs program
   3 % =========================================
   4
   5 \typeout{For use with the pphs program}
   6
   7 % Definitions of commands used by pphs
   8
   9 \newbox\foo
  10 \def\skipover#1{\setbox\foo\hbox{#1}\hskip\wd\foo}
  11 \def\plusplus{\hbox{$+\mkern-7.5mu+$}}
  12 \def\xspa#1{\hskip#1ex}
  13 \def\bareq{\setbox\foo\hbox{$=$}\makebox[\wd\foo]{$|$}}
  14
  15 % User-redefinable commands - typefaces
  16
  17 \def\keyword{\bf}
  18 \def\iden{\it}
  19 \def\stri{\rm}
  20 \def\com{\rm}
  21 \def\numb{\rm}
  22
  23 % User-redefinable commands - quote marks
  24
  25 \def\forquo{\hbox{\rm '}}
  26 \def\escquo{\hbox{\rm '}}