[x14]

Just my perspective, but mathematics seems like badly-written software to me. Shitty single-letter variable names with all the code in main() without any separation of concerns.

[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.