I don't understand this

[Herbert Voss]

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