Knuth up-arrow notation

GPTKB entity