On 28 March 2014 10:40, François Poulain <[email protected]> wrote: > (math (extern "(lambda (x) (utf8-<gtr>cork (tree-<gtr>stree x)))" "ℝ"))
Does that work as expected for you? What I see when I paste it into TeXmacs using 'paste from TeXmacs Scheme" is u211d _______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
