Am 12.06.23 um 18:46 schrieb Richard Kimberly Heck:
On 6/12/23 07:59, Herbert Voss wrote:With unicode-math, "$\mathbb{0}$" should be rendered as "𝟘" (U+1D7D8),with unicode-math it should be $\Bbbzero$Sounds like a bug, then.
No, because unicode-math loads amsmath by default which defines \mathbb With \Bbbzero you can only be _really_ sure, that it will be taken from the current math font. Herbert -- lyx-users mailing list lyx-users@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-users
