mailing-list for TeXmacs Users

[Frank <address@hidden>]

Dear all,

I find that conversions to HTML in TeXmacs are not excellent. I point 
out two issues that I find:

1. The declaration of the encoding should be set in <meta 
charset="UTF-8"/> instead of <?xml encoding="UTF-8"/>. It seems to me 
that the first is complying to standards 
(https://www.w3.org/International/questions/qa-html-encoding-declarations) 
and the later is not recognized at least in Firefox.

2. The extensible arrows seems to be converted wrongly. For example, 
\<longrightarrowlim\><rsup|f<rsub|p>> will be incorrectly converted to 
<mo>⟶</mo><msub><mi>f</mi><mi>p</mi></msub>. When the text above the 
extensible arrow is long, it will vanish in the generated html file. 
Here is an example of correct MathML code for extensible arrows: 
http://www.mathtoweb.com/mathml/xrightarrow.xml

Best wishes,

--
Best wishes!
Yours,