axiom/src/scripts/tex
