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 overloadin

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.