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

ceiling function of
1

