# Definition:Ceiling Function/Historical Note

## Historical Note on Ceiling Function

The notation $\ceiling x$ for the ceiling function was introduced in the $1960$s by Kenneth Eugene Iverson and made popular by Donald Ervin Knuth.