Donald Knuth
这一符号首先由高德纳于1970年提出。