[TheGallopedHigh]

Proofs can be very long, writing out full pages with single letters let alone full words would be difficult to parse

[alexvoda]

Source code for software is much, much, much longer and structured in directories and version controlled and automatically syntax checked and automatically tested and even edited simultaneously remotely across the globe.

And in case of some languages we can even use the full Unicode for variable names (Julia). The only restriction is we have mandatory separators and adjacency does not automatically mean multiplication.

See for example VS Code Live Share for the last one if you are not aware of it.