Conservative conversion between LaTeX and TeXmacs
[ Homepage | Publications | Talks | TeXmacs | Mathemagix ]


Back and forth converters between two document formats are said to be conservative if the following holds: given a source document , its conversion , a locally modified version of and the back conversion of , the document is a locally modified version of . We will describe mechanisms for the implementation of such converters, with the LaTeX and TeXmacs formats as our guiding example.

Authors: Joris van der Hoeven, François Poulain

Keywords: conservative document conversion, LaTeX conversion, TeXmacs, mathematical editing

A.M.S. subject classification: 68U15, 68U35, 68N99

View: Html, TeXmacs, Pdf, BibTeX