The term {tt (fceiling $tau$)} denotes the smallest integer (as a floating point number) greater than the object denoted by $tau$.