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.