Is it possible to use ligatures in vscoq?
which sort of ligatures, and for what job? For font ligatures, that depends on vscode (bet it works); for Unicode ligatures, that depends on Coq (so I guess yes using user-defined notations, depending on what you want). For _inputting_ unicode them, vscoq does nothing; there’s a bunch of vscode extensions for Unicode input, none perfect (plus input methods on your OS, potentially).
Font ligatures in Iosevka work fine for me in VScode
Last updated: Jan 30 2023 at 17:03 UTC