On 5. Jun 2019, at 17:53, Frank <address@hidden> wrote:

Dear all,

I wonder wheter to file a bug report. It seems to me that https://savannah.gnu.org/bugs/?group=texmacs is out dated: The latest post was in 2015.

Best wishes,

Le 05/06/2019 à 13:58, Basile Audoly a écrit :

Hi Frank,

I think the easiest would be to file a bug report. Simply mention which version of TeXmacs you are running, and include an accurate description of the bug (missing arrow).

Basile

Le 5 juin 2019 à 13:08, Frank <address@hidden> a écrit :

Dear all,

I don't know whether these issues are fixed in the latest source, so I have not reported a bug yet. The second is more serious because it results in irrecoverable errors.

I attached a minimal working example, and the generated html file.

Best wishes,

Le 01/06/2019 à 21:59, Frank a écrit :

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,

<test.html><test.tm>

-- 
Best wishes!
Yours,