I find mathematical content to behind the curve when it comes to digitization. The issue I guess is that math is much more expressive than text, and everybody h

I find mathematical content to behind the curve when it comes to digitization. The issue I guess is that math is much more expressive than text, and everybody has a different style. There is no consensus offline on how to write math (for example I would recommend all variables in proofs to be English letters and not Greek letters - why add additional complexity in terms of digital input by using Greek letters, unless for specific needs, like the constant pi or capital Sigma). Smaller examples would be somebody may write a + b = 3 while somebody else will write x + y = 3 (should there be consistency? I personally don’t think so, but just flagging out that this is a variation too).