a TeX utility program for editing DVI files directly