import settings;
settings.outformat = "svg";
//settings.tex = "pdflatex";