[mkorfmann]

With a good code-editor, these complex-looking symbols can also always be shown in an easier language, on-demand and opt-in.

[mkorfmann]

Then it is also almost like a two-factor definition. Once it is defined through the symbol and twice through the easy, canonical easy language explanation. The easy language explanation must also be specced then.