This is an enthusiastic and well-written case for two changes of notation. The first concerns the Iverson convention: if is a statement, is defined to be 1 if is true and 0 if is false. Thus for example
The second concerns Stirling numbers, where at present there is no universally accepted standard notation. Knuth’s proposal is based on a suggestion of I. Marx [ibid. 69, 530-532 (1962; Zbl 0136.356)] and is to use to denote the number of permutations of objects having cycles, and to denote the number of partitions of objects into nonempty subsets. Much fascinating historical information is included as the case for these proposals is presented.