\begin{definition}[Definition:Ceiling Function/Notation]
The notation $\ceiling x$ for the '''ceiling function''' is a relatively recent development.
Compare the notation $\floor x$ for the corresponding  floor function.
\end{definition}