A lite editor for .tex files that use the vaucanson-g package.