Now have a way of generating high-quality latex images.