add tex'd version of agvert.py