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?