# Definition:Floor Function/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.