He expressed something similar to what he had said in the forementioned talk, that conventional mathematical notation is unhelpful, and that we ought to be able

He expressed something similar to what he had said in the forementioned talk, that conventional mathematical notation is unhelpful, and that we ought to be able to express things more clearly as programs. I agreed that I find conventional mathematical notation unhelpful; when I try to read papers there are concepts I easily understand as code but I can't parse the symbolic math of. "There's too much operator overloading", I said, "and that makes it hard for me to understand in which way a symbol is being used, and papers never seem to clarify." Sussman replied, "And it's not only the operator overloading! What's that 'x' doing there! That's why we put 'let' in Scheme!" https://dustycloud.org/blog/tag/sussman/ https://dustycloud.org/blog/tag/sussman/ Looks like you are not the only great mind to think of this (although I do also think that a diagram with some text can lead to the clearest explanations) There is a link to a video in that where Sussman explains the notation although there may be better ones also.