First work on export-to-latex procedures