% Used for debugging.

if mode=proof:
  lcode_ := " /"; % suppress overflow equations.
  special "slantfont slantlj4";
  special "grayfont graylj";
fi

if mode=lproof:
  lcode_ := " /"; % suppress overflow equations.
  special "labelfont cmtt8";
  special "slantfont slantlj6";
  special "grayfont graylj";
fi

if mode=mproof:
  lcode_ := " /"; % suppress overflow equations.
  special "labelfont cmtt8";
  special "slantfont slantlj6";
  special "grayfont graylj";
fi

if mode=tproof:
  special "slantfont slantlj6";
  special "grayfont graylj";
fi

endinput