> I've also thought that math syntax is very poorly structured and places enormous cognitive load on the user. This is a common sentiment coming from programme

> I've also thought that math syntax is very poorly structured and places enormous cognitive load on the user. This is a common sentiment coming from programmers turned mathematician. Math notation is made to exactly describe ideas between mathematicians (read: other humans) not for implementors to have an easy time. As a programmer first, I tend to agree, but I’ve spent a long time learning how to think like a computer and not like a mathematician. It’s very reminiscent of the old hacker attitude of “the code is the documentation”