[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Texmacs-dev] epsilon in html

From: Joris van der Hoeven
Subject: Re: [Texmacs-dev] epsilon in html
Date: Fri, 22 Jul 2005 10:57:32 +0200
User-agent: Mutt/1.5.9i

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
"#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 
More generally, David spent quite a lot of time on this and it would surprise
me if he made (m)any mistakes.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]