The term {tt (gcd $tau_1 ldots tau_n$)} denotes the greatest common divisor of the objects denoted by $tau_1$ through $tau_n$.