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 9966 for its value, ceilqge 9970 and ceilqm1lt 9972 for its basic
properties, and ceilqcl 9968 for its closure. For example,
⌈    while ⌈     
(ex-ceil 12622).
As described in df-fl 9930 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.) |