I knew Iverson introduced his bracket because I've always heard it called "the Iverson bracket"—and I absolutely love it—but I had no idea he invented the floor and ceiling functions, too.

At the risk of flippancy, who would think that the creator of APL was also the source of such intuitive notations? Perhaps you have to be willing to explore crazy out-there notation to be able to find these occasional gems.