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

\font\bi = cmmib10
\def\keyword{\bf}  
% \def\keyword{\bf\underline}            %% <-- if you like the underlining
\def\sfun{\it}
\def\scon{\it}
\def\styp{\it}
\def\scla{\sl}
\def\iden{\it}
\def\stri{\rm}
\def\com{\it}
\def\numb{\rm}


% short for Arrows
\def\ra{\rightarrow}
\def\la{\leftarrow}
\def\Ra{\Rightarrow}

% User-redefinable commands - quote marks

\def\forquo{\hbox{\rm '}}
\def\escquo{\hbox{\rm '}}