On 28 March 2014 10:40, François Poulain <fpoul...@metrodore.fr> 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
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev

Reply via email to