Re: [Texmacs-dev] epsilon in html

[Joris van der Hoeven]

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.