Zulip Chat Archive
Stream: general
Topic: vscode blackboard bold
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.
Reid Barton (Sep 20 2020 at 15:56):
I'm thinking \MBA
for 𝔸, etc.
Reid Barton (Sep 20 2020 at 15:56):
@Johan Commelin don't you use 𝕎? How do you type it?
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
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.
Reid Barton (Sep 20 2020 at 16:00):
(I mean better anyways, even ignoring the fact that it's already used by VS Code.)
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: Dec 20 2023 at 11:08 UTC