I am cross posting a converter bug I found. Texmacs does not export resized norm symbols correctly. Instead, it often adds arbitrary bars mangling the math.
Consider the difference between
in which the norm symbol has been made larger. The change gets ignored by the exporter that produces identical output:
\[ \| f \| \]
Now consider a case where resizing is actually appropriate e.g.
(this is the normal size that TeXmacs decides on)
vs an “enlarged” version:
or a “reduced” version:
The former exports correctly to
\[ \left\| \int f \right\| \]
while the latter two export to gibberish
\[ \left\|| \int f \right\|| \]
This gibberish adds extra bars in LaTeX. Here is sample PDF outfut from LaTeX.
If there are extra things in the formula the result, imaginably, is a completely mangled equation.
This makes LaTeX export very inconvenient. One has to literally go through the whole paper by hand and correct all norms.
Here is the bug report: GNU TeXmacs - Bugs: bug #62828, Incorrect LaTeX export of… [Savannah]