FiraCode
FiraCode copied to clipboard
Add more double-struck letters
From what I can tell from https://github.com/tonsky/FiraCode/blob/master/FiraCode.glyphs, the only currently available double-struck letters are B, C, H, N, P, Q, R, and Z. It would be nice if this was extended to the entire (uppercase) alphabet as some additional ligatures programs use them (e.g. 𝕊 for string).
Which programs use those?
Julia does, for one (as well as some numbers and punctuation marks). Here's the full list of double-struck (or "blackboard-bold") letters the internal REPL supports for auto-replacement:
\bbA \bbH \bbP \bbW \bbe \bbi \bbl \bbq \bbt \bbz
\bbB \bbI \bbPi \bbX \bbeight \bbiD \bbm \bbr \bbthree \bbzero
\bbC \bbJ \bbQ \bbY \bbf \bbid \bbn \bbrktbrk \bbtwo
\bbD \bbK \bbR \bbZ \bbfive \bbie \bbnine \bbs \bbu
\bbE \bbL \bbS \bba \bbfour \bbii \bbo \bbsemi \bbv
\bbF \bbM \bbT \bbb \bbg \bbij \bbone \bbseven \bbw
\bbG \bbN \bbU \bbc \bbgamma \bbj \bbp \bbsix \bbx
\bbGamma \bbO \bbV \bbd \bbh \bbk \bbpi \bbsum \bby
\bbiD through \bbij are italic versions, \bbsemi is a semicolon, \bbSum is a Greek Sigma (mathematical sum symbol), and \bbrktbrk is ⎶ (no idea what that is supposed to be). I personally use \bbone quite often for characteristic functions (i.e., either 1 or 0, depending on conditions), and \bbzero can be useful for a similar purpose.
Here's a picture of all of them from within vim (using Fira Code Retina, with apparently a fallback font for the missing ones -- note that the Fira Code versions are (too?) thick compared to the fallback ones):



Personally I've been using doom emacs with the (ligatures +extra) module enabled.
Ok thanks I will see what I can do
Doom Emacs with (ligatures +extra) enabled uses 𝕋, 𝔽, ℤ, ℝ, 𝕊, 𝔹, and 𝕃 by default.
I just ran into this as well. I use Doom Emacs and used the following configuration as a workaround for now. It's not perfect, but hopefully it will help some people as a temporary workaround.
In my config.el:
(after! unicode-fonts
(push "Symbola" (cadr (assoc "Miscellaneous Symbols" unicode-fonts-block-font-mapping))))
@tonsky Any updates on this?