On Thu, 21 Jul 2005 16:28:32 +0200 Bas Spitters <[EMAIL PROTECTED]> 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? Thanks, Felix _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
