Mathematicians work with pen and paper regularly. So long var names can be frustrating. If everyone goes to digital format it may be easier. However, there

Mathematicians work with pen and paper regularly. So long var names can be frustrating. If everyone goes to digital format it may be easier. However, there are forces working against that. Mathematical proofs are more like sentences, or even poetry, than a structured language that can be compiled. They are meant for humans to read. So you jot down your proof over and over again in different formats, playing with both the logic and also the visual representation. Another issue is that a lot of math is done just in your head, so you don't need a computer at all. When writing code you inherently need to test the codes execution, and also more frequently reference digital materials in your research.