Knuth – Two notes on notation (1992) [pdf]