Aufwärtspfeilschreibweise

Die Aufwärtspfeilschreibweise^[1] ist eine 1976 von Donald E. Knuth entwickelte Schreibweise, für die gilt:

a\underbrace{\uparrow \uparrow \ldots \uparrow \uparrow}_cb = a^{(c + 2)}b

Einzelnachweise[]

↑ Donald E. Knuth: Mathematics and Computer Science: Coping with Finiteness. In: Science. Band 194, Nr. 4271, 17. Dezember 1976, S. 1235–1242, doi:10.1126/science.194.4271.1235 (online).