[nsonha]

my main argument is that humans only have so much sort term memory so compression is crucial for readability. Reading a proof is different than reading a book because you have to retain the whole thing with details in your mind not just vague ideas.

[foerbert]

I find myself completely unable to understand that. I suspect we use very different methods. Notation doesn't stay with me once my eyes move past it. The notation is merely there to inform me of what is happening, and as long as I understand the meaning it doesn't matter if it was one symbol or a whole paragraph.