I'm interested if there is literature on projects which try to improve formal notation, especially for doing mathematics on an advanced level. For example, I'm thinking along the lines of diagrammatic ideas like Penrose notation, but maybe even for more basic and common topics.
edit: I initially posted this on the linguistics board, and there I conjectured it might be rather suited for the cognitive science board too. I have to point out that just moving it here over night was a very bad move - Now that it's here I can't essentially ask an analog question again. Of course, if I wanted to post it on the math board, the question would have been formulated very differently. The question is not about mathematicans introducing handy notation on the fly while they work on their topic. One has a rough feel for which answers might be delivered within the math community itself. The reason is that it's pretty clear how things go down: On the math board the question can't compete with stuff like "I'm a high schooler and I discovered this fact about complex numbers" (upvote, upvote, upvote), which lead to this thread being sucked into the abyss after 10 hours, where it will not receive any more answers.