Definition:Floor Function/Notation

From ProofWiki
Jump to navigation Jump to search

Definition

Before around $1970$, the usual symbol for the floor function was $\left[{x}\right]$.

The notation $\floor x$ for the floor function is a relatively recent development.

Compare the notation for the corresponding ceiling function, $\ceiling x$, which in the context of discrete mathematics is used almost as much.


Some sources use $\operatorname {fl} \paren x$ for the floor function of $x$. However, this notation is clumsy, and will not be used on $\mathsf{Pr} \infty \mathsf{fWiki}$.


Historical Note

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


Sources