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 _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
