Real Estate of Names
- Rustan Leino
Information Processing Letters |
A common convention for writing names (identifiers) in mathematical formulas makes poor use of the real estate on the page occupied by those names. Here is a design principle for using space more efficiently.