If $tau$ denotes a complex number, then the term {tt (conjugate $tau$)} denotes the complex conjugate of the number denoted by $tau$.