If $tau$ denotes a real number, then the term {tt (ceiling $tau$)} denotes the smallest integer greater than or equal to the anumber denoted by $tau$.