[platz]

try reading some proofs in coq to see how badly software does in making mathematics readable.

nevertheless, i agree for things like white papers the overloading of identifiers is frustrating.