| HomepagePublicationsTalksTeXmacsMathemagix |
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:
Keywords: conservative document conversion, LaTeX conversion, TeXmacs, mathematical editing
A.M.S. subject classification: 68U15, 68U35, 68N99