I disagree. These annotations help to bind the variables to the context and the “detailed nuances”. Yes this is called a lookup table, and while it can seem ob

I disagree. These annotations help to bind the variables to the context and the “detailed nuances”. Yes this is called a lookup table, and while it can seem obvious to you when you have spent 1y working on the same subject, it is not for the others. People will anyway skim-read it, as I do, and put it aside for detailed reading, if the overall idea is good or if I found an interesting technique. Anyway, the best papers I read were short and concise. Cf. historically Lebesgue paper about measure theory and his correspondance with Picard, compared to Borel’s theory.