Zulip Chat Archive

Stream: general

Topic: vscode blackboard bold


view this post on Zulip Reid Barton (Sep 20 2020 at 15:54):

Does VS code have translations for the full set of Unicode blackboard bold letters (or at least the uppercase ones)? I'd like to add them to emacs and I figure I should at least not give them different names than VS code if it has them.

view this post on Zulip Reid Barton (Sep 20 2020 at 15:56):

I'm thinking \MBA for 𝔸, etc.

view this post on Zulip Reid Barton (Sep 20 2020 at 15:56):

@Johan Commelin don't you use 𝕎? How do you type it?

view this post on Zulip Markus Himmel (Sep 20 2020 at 15:57):

There's \bbA, \bbB etc. and \A, \C, \F, \H, \K, \N, \Q, \R, \Z also produce blackboard symbols

view this post on Zulip Reid Barton (Sep 20 2020 at 15:58):

Okay, that might be better since now I realize there are a number of other bold mathematical letter series in Unicode.

view this post on Zulip Reid Barton (Sep 20 2020 at 16:00):

(I mean better anyways, even ignoring the fact that it's already used by VS Code.)

view this post on Zulip Kevin Buzzard (Sep 20 2020 at 16:08):

Maybe \A is there because I once wanted affine n-space? Of course i also want the adeles :-)


Last updated: May 09 2021 at 18:17 UTC