writeTeXsrc routine
writeTeXsrc routine