As is... my editor looks like this. I don't type all those special things, except once in a configuration file. But the "prettification" is handled transparently when I type some ASCII sequences. [image: Python-arrow.png]
that’s nice ! it’s a real shame though, and a bit of a waste honestly, that everybody needs to cook their own brew of an editor to get there and primarily all I’m trying to say is that, one day, this will be a legal piece of code, so that we can share and enjoy exactly like this instead of in poor work-it-out-yourself ascii
The first screenshot (of completely pointless code I just typed to use a few symbols or sequences) used vim conceal plugin; also my particular configuration of what to substitute visually on screen. That approach lets entire patterns get replaced by... whatever you want. E.g. I replace `set()` with the empty-set symbol, but no one else is required to by the plugin if they don't want to (or the script Z/R for int/float, likewise). For comparison, I changed my system text editor to use JetBrains Mono Medium. The editor is called "Text Editor" on my system, but it's a rebranded gEdit, which is a pretty reasonable code editor. Someone else in the thread pointed to that font which uses ligatures to make composed characters. So it's not a substitution but simply another way of drawing some letter pairs. The result is in the attached screenshot. This approach is somewhat less flexible in that it gets exactly those ligatures that JetBrains decides you want. In concept, there is no reason this couldn't create a 'float' ligature that renders as a script R, for example. But that is not a combo JetBrains decided to use. The main point of this, is that the code is still just plain ASCII, it just happens to look "fancier." It requires no plugins, and it does not require a JetBrains IDE or editor. I haven't tried every editor, but I believe that most or all that use GUI fonts will work fine. Not sure about ligatures and Linux terminal, someone can try it. -- The dead increasingly dominate and strangle both the living and the not-yet born. Vampiric capital and undead corporate persons abuse the lives and control the thoughts of homo faber. Ideas, once born, become abortifacients against new conceptions.