Ooooh new version of #PragmataPro out now!
Ah, it was caused by mac-auto-operator-composition-mode (Emacs-Mac port): it seems that “]]” was replaced by a ligature, which then didn't match anymore. So, if one wants to use this feature with a font that supports such ligatures, one should probably set mac-auto-operator-composition-characters to a smaller set of characters to avoid surprises…
Fans of the #PragmataPro #font can now search for symbols contained therein via a web tool by yours truly:
#PragmataPro, the Cadillac of #programming #fonts, just got updated to 0.830!
This is my daily driver; I paid for the full package back in 2020 and haven't regretted it for a second.
A few #ProgrammingFonts that I like:
#PragmataPro:
https://fsd.it/shop/fonts/pragmatapro/ — elongated x-height makes it extremely readable. Good when you open 20 terminals side-by-side.
#OperatorMono:
https://www.typography.com/blog/introducing-operator — Overpriced but extremely pleasant to work with
#MonoLisa:
https://www.monolisa.dev — Very readable with wider spacing, disinct glyphs and characters. Overall I love it.
☝️ Those are all paid fonts.
For great and free fonts
https://www.programmingfonts.org is a good resource.