Update robot.tex