Echoing a lot of the sentiment here, I wish math would simply use english (or natural language). It clearly seems too much to ask for a programming language, es

Echoing a lot of the sentiment here, I wish math would simply use english (or natural language). It clearly seems too much to ask for a programming language, especially when it comes to pure math. At an undergrad math course, we were allowed to state our proofs in english without any notation. This was the only course that did this. I found it easier to write and reason about my proofs, it was incredibly easy to read my peers', and the professor had no issues with my work while he did have some trouble with some of the notation. When I first started, the question I had was if there existed an encyclopedia or an OED for mathematical notation. I was told there wasn't. I then enquired how I would go about deciphering something I didn't understand, and was told that I should ask my professors and peers. I brought one of the papers I had found online to him, and he asked me to write to the author because he couldn't understand it either. Meanwhile I can download any old piece of code, and given enough time with the compiler and myself, I can understand what it means to express. I shudder to think 9f the sheer body of work that relies on a vague understanding of the notations in the underlying proofs. For a science that believes in precision of logic, I ask: how is this still a thing?