> The ceiling of a number is borrowed from maths: ⌈ etc. Isn't it the other way around - Iverson invented this symbol for this purpose and the standard mathema

> The ceiling of a number is borrowed from maths: ⌈ etc. Isn't it the other way around - Iverson invented this symbol for this purpose and the standard mathematic notation adopted it?