Hi all,
I'm pretty sure this is an available feature, I just haven't been able to find the information in the documentation.
When exporting a TeXmacs file to LaTeX, the blackboard fonts are exported as \mathbbm{ . }. Is there any way of telling LaTeX to export them as \mathbb{ . }?
Thanks,
Michael