mathematical notation would be kind of unreadable without the terse and compact symbology, imho. it makes it much easier for the mind to parse.

mathematics is partially a language (maybe one of the most universal ones), once you learn common conventions, it becomes easier.

Obviously it's no problem for human minds to learn huge numbers of symbols, just like some CJK languages with a large number of ideographs that have to be understood in context.

I do think auto-annotation, as well as other types of interactivity are great, though!