Definition:Floor Function/Historical Note

Historical Note on Floor Function
The notation $\floor x$ for the floor function was introduced in the $1960$s by and made popular by.