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 and made popular by.