#TIL The floor(x) and ceil(x) functions and their symbols ⌊x⌋ and ⌈x⌉ were invented by Kenneth E. Iverson in 1962 for APL programming. Thankfully, it was soon accepted in math and made the ambiguous symbol [x] obsolete.