I was interested to discover fonts with programming-specific ligatures when they were discussed last month. I haven't experimented enough yet to know how well they work out in the long term.
This is a good idea. Why hasn't someone thought of it before? Why didn't I think of it?
I've been using Frama-C recently, with the option of \forall or ∀, for example. The latter is more readable, but a pain to type. I'll have to try some of these.
https://www.hanselman.com/blog/MonospacedProgrammingFontsWit...