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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback