First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] HTML conversions in TeXmacs


Chronological Thread 
  • From: Frank <address@hidden>
  • To: TeXmacs <address@hidden>
  • Subject: Re: [TeXmacs] HTML conversions in TeXmacs
  • Date: Wed, 5 Jun 2019 13:08:16 +0200
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,

Title: No title

Two maps MN, XY and a functor ModR⊗kRModR 

<TeXmacs|1.99.9>

<style|generic>

<\body>
  Two maps <math|M<long-arrow|\<rubber-rightarrow\>|f>N>,
  <math|X<long-arrow|\<rubber-rightarrow\>|f<rsub|p>>Y> and a functor
  <math|Mod<rsub|R\<otimes\><rsub|k>R><long-arrow|\<rubber-rightarrow\>|<syntax|-|M>\<otimes\><rsub|R\<otimes\><rsub|k>R>R>Mod<rsub|R>>
</body>

<\initial>
  <\collection>
    <associate|font-base-size|12>
    <associate|page-height|auto>
    <associate|page-type|letter>
    <associate|page-width|auto>
  </collection>
</initial>

Archive powered by MHonArc 2.6.19.

Top of page