Yes, a lot. I use a plug in for vscode that does all sort of substitutions along with ligature. E.g. (reduce + [1 2 3]) Shows as (Σ + 123) Or

Yes, a lot. I use a plug in for vscode that does all sort of substitutions along with ligature. E.g. (reduce + [1 2 3]) Shows as (Σ + 123) Or (comp foo bar quax) Becomes (∘ foo bar quax) Etc, I find the conciseness so much easier to read. Unfortunately the plugin can be buggy when you hsbe a lot if subs, I'd setup loads if I could. If only someone would fix it / make a version that works.