Here [ [ ⋅ ⋅ ] ] denotes the fractional part of a real number, discarding its integer part; that is, [ [ x ] ] = x − − ⌊ x ⌋ ; and t 0 is an arbitrary "origin" value of the argument, that one considers to be the beginning of a cycle.