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.

**Ignored resizing**

Consider the difference between

and

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]