texmacs-users - [TeXmacs] Export \mathbbm as \mathbb

Subject: mailing-list for TeXmacs Users

List archive

[TeXmacs] Export \mathbbm as \mathbb

From: Michael Snarski <address@hidden>
To: texmacs-users <address@hidden>
Subject: [TeXmacs] Export \mathbbm as \mathbb
Date: Sat, 26 Mar 2016 11:56:52 -0400

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

[TeXmacs] Export \mathbbm as \mathbb, Michael Snarski, 03/26/2016

List archive

[TeXmacs] Export \mathbbm as \mathbb