The function which gives the smallest integer , shown as the thick curve in the above plot. Schroeder (1991) calls the ceiling function symbols the "gallows" because of the similarity in appearance to the structure used for hangings. The name and symbol for the ceiling function were coined by K. E. Iverson (Graham et al. 1994).
The ceiling function is implemented in the Wolfram Language as Ceiling[z], where it is generalized to complex values of as illustrated above.
Although some authors used the symbol to denote the ceiling function (by analogy with the older notation for the floor function), this practice is strongly discouraged (Graham et al. 1994, p. 67). Also strongly discouraged is the use of the symbol to denote the ceiling function (e.g., Harary 1994, pp. 91, 93, and 118-119), since this same symbol is more commonly used to denote the fractional part of .
Since usage concerning fractional part/value and integer part/value can be confusing, the following table gives a summary of names and notations used. Here, S&O indicates Spanier and Oldham (1987).
notation | name | S&O | Graham et al. | Wolfram Language |
ceiling function | -- | ceiling, least integer | Ceiling[x] | |
congruence | -- | -- | Mod[m, n] | |
floor function | floor, greatest integer, integer part | Floor[x] | ||
fractional value | fractional part or | SawtoothWave[x] | ||
fractional part | no name | FractionalPart[x] | ||
integer part | no name | IntegerPart[x] | ||
nearest integer function | -- | -- | Round[x] | |
quotient | -- | -- | Quotient[m, n] |