Mathematical notation is often too vague, informal and too dependent on context.Frankly there is too much ambiguous overloading of symbols.It seems the language

Mathematical notation is often too vague, informal and too dependent on context.Frankly there is too much ambiguous overloading of symbols.It seems the language has evolved to be succinct and short to write, rather than being explicit and unambiguous.I know maths people say that it is meant to be read by people and not by computers. More people are acustomed to reading code than ever before.I feel that math notation needs reform that makes it formal, unambiguous and capable of describing imperative manipulations rather than be merely declarative, with clear annotations of type information of entities.