%%%% Fix bug in fonts for QMS printers:  make long arrows look right.
%%%% Note that 15788sp = 1/300 inch = distance between QMS pixels.
\def\relbar{\mathrel{\setbox0\hbox{\kern -15788sp$-$\kern -15788sp}%
                     \ht0=0pt \dp0=0pt \raise 15788sp\box0}}
\def\Relbar{\mathrel{\hbox{\kern -15788sp$=$\kern -31575sp}}}
