Do you think so? It may seem risky in itself, but I think this would capture many current practices in mathematical notation. The language could aid you to cl

Do you think so? It may seem risky in itself, but I think this would capture many current practices in mathematical notation. The language could aid you to clarify your code. For example, by forcing each variable to be declared explicitly at the beginning of its scope, on a line all by itself. Then the compiler could put a warning if one of these declarations didn't have a comment.