Donald Knuth
用高德纳箭号表示法可以将超运算定义为