[Texmacs-dev] epsilon in html

[Bas Spitters]

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?

Thanks,

Bas