Comment by morsch

That sounds like Knuth came up with them, but the notation is much older than 1976