[Texmacs-dev] Euro symbol bug

[Alvaro Tejero Cantero]

In newest TeXmacs, if I press Altgr + 5 (Euro symbol in my keyboard) I get

\<#20AC\>

in red (the escaping backslashes are not shown).

And upon export to html the symbol is actually

&pound;


-á.

_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
http://lists.gnu.org/mailman/listinfo/texmacs-dev