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] |