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 in the Tilapia extension.
Idea 2: Recommend adoption of the Fira Code font to enhance one's experience in TLA+ in our README.
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 in the Tilapia extension.
Idea 2: Recommend adoption of the Fira Code font to enhance one's experience in TLA+ in our README.