Description: The ceiling (least
integer greater than or equal to) function. Defined in
ISO 80000-2:2009(E) operation 2-9.18 and the "NIST Digital Library of
Mathematical Functions" , front introduction, "Common Notations
and
Definitions" section at http://dlmf.nist.gov/front/introduction#Sx4.
See ceilqval 10205 for its value, ceilqge 10209 and ceilqm1lt 10211 for its basic
properties, and ceilqcl 10207 for its closure. For example,
⌈ while ⌈
(ex-ceil 13313).
As described in df-fl 10169 most theorems are only for rationals, not
reals.
The symbol ⌈ is inspired by the gamma shaped left bracket of the
usual notation. (Contributed by David A. Wheeler,
19-May-2015.) |