Add ligatures to any coding font! This script copies the ligatures (glyphs and rendering information) from Fira Code into any other TrueType or OpenType font. (Note that the ligatures are ...

Idea 1: Switch VS Code to the Fira Code font whenever you start editing TLA+ files, and revert the font when switching away from TLA+ files. This would probably itself be controlled with a preference ...