Hi Frank,
For a systematic export tool, it is better to be redundant than
as tight as possible, but occasionally buggy.
The LaTeX export should be robust with respect to user errors,
such as using a mathematical primitive in text mode.
In my test files, such errors are rare, but they occur,
and we don't want them to break the conversion.
Best wishes, --Joris
On Fri, May 07, 2021 at 05:30:27PM +0200, Frank wrote:
Dear all,
I spotted that the tex file converted from TeXmacs is filled with
\ensuremath{\operatorname{...}}. I wonder why the \ensuremath is needed. This
seems redundant in my document.
Best wishes,
Frank
Archive powered by MHonArc 2.6.19.