\newcommand{\cstok}[1]{\leavevmode\thinspace\hbox{\vrule\vtop{\vbox{\hrule\kern1pt%
    \hbox{\vphantom{\tt/}\thinspace{\tt#1}\thinspace}}
    \kern1pt\hrule}\vrule}\thinspace}
\newcommand{\ps}{{\sc PostScript}}
\def\<#1>{\leavevmode\hbox{$\langle$#1\/$\rangle$}} % syntactic quantity
\newcommand{\dvi}{{\tt DVI}}
\newcommand{\dvilw}{{\tt DVILW}}
\newcommand{\pcd}{{\tt PCDRAW}}
\newcommand{\PiC}{P\kern-.12em\lower.5ex\hbox{I}\kern-.075emC}
\newcommand{\PiCTeX}{\PiC\kern-.11em\TeX}
\newcommand{\textfontii}{\the\textfont2}
\newcommand{\AmS}{{\textfontii A}\kern-.1667em\lower.5ex\hbox
 {\textfontii M}\kern-.125em{\textfontii S}}
\newcommand{\BibTeX}{{\rm B\kern-.05em{\sc i\kern-.025em b}\kern-.08em
    T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}}
\newfont{\logo}{logo10 scaled \magstephalf}
\newcommand{\MF}{{\logo META}\-{\logo FONT}}
\newcommand{\bs}{$\backslash$}
\newfont{\extra}{ts_man scaled \magstephalf}
\newcommand{\dvid}{\dvi-Dateien}
\newcommand{\img}{{\tt IMG}}
\newcommand{\imgg}{\img-Grafiken}
%\newfont{\computer}{vgafont scaled \magstephalf}
\newenvironment{compout}{\begin{quote}\tt}{\end{quote}}
\newfont{\myfont}{pplr at 11pt}
