Re: [Texmacs-dev] epsilon in html

[Bas Spitters]

On Friday 22 July 2005 10:57, Joris van der Hoeven wrote:
> On Thu, Jul 21, 2005 at 09:25:13AM +0000, Felix Breuer wrote:
> > On Thu, 21 Jul 2005 16:28:32 +0200
> >
> > Bas Spitters <address@hidden> wrote:
> > > Hello,
> > >
> > > Currently, epsilon is exported to 03F5 in the utf8-encoding. This does
> > > not work for me (firefox). However, 03B5 does work.
> > >
> > > Maybe someone can explain what settings to use, or maybe it is better
> > > to change the exportation?
> >
> > It may well be that we should change the mapping. Can you take a look at
> > the unicode standard and figure out which one is correct?
>
> address@hidden src]$ grep epsilon TeXmacs/langs/encoding/*
> TeXmacs/langs/encoding/HTMLsymbol.scm:("Epsilon"      "&#x0395")      ;
> greek capital letter epsilon
> TeXmacs/langs/encoding/HTMLsymbol.scm:("epsilon"      "&#x03B5")      ;
> greek small letter epsilon
> TeXmacs/langs/encoding/symbol-unicode-oneway.scm:("<b-backepsilon>"    
> "#03F6") ; see <backepsilon>
> TeXmacs/langs/encoding/tmuniversaltounicode.scm:; apl functional symbol
> epsilon underbar        "#2377"
> TeXmacs/langs/encoding/tmuniversaltounicode.scm:("<epsilon>"    "#03B5")
> TeXmacs/langs/encoding/tmuniversaltounicode.scm:("<varepsilon>" "#03F5")
> TeXmacs/langs/encoding/tmuniversaltounicode.scm:("<backepsilon>" "#03F6")
> TeXmacs/langs/encoding/tmuniversaltounicode.scm:("<b-epsilon>"  "#1D6C6")
> TeXmacs/langs/encoding/tmuniversaltounicode.scm:("<b-varepsilon>" "#1D6DC")
>
> I think that all this is correct (see
> http://www.unicode.org/charts/PDF/U0370.pdf). More generally, David spent
> quite a lot of time on this and it would surprise me if he made (m)any
> mistakes.

Try the following file:

<TeXmacs|1.0.5.4>

<style|generic>

<\body>
  <with|mode|math|\<varepsilon\>\<epsilon\>>
</body>

<\initial>
  <\collection>
    <associate|language|american>
  </collection>
</initial>

<varepsilon\> is exported as &#x03F5;, but this the lunate epsilon.
<epsilon\> is exported as &epsilon;, which is printed as the varepsilon in 
latex and texmacs.

But I now understand where confusion comes from.
What is called \varepsilon in latex is the ordinary &epsilon; in html.
What is called \epsilon in latex is the lunate epsilon (03F5) in html.

I would like to suggest to switch them in the html-exportation, but maybe a 
unicode expert will tell me otherwise.

Bas