{The term {tt (expt $tau_1$ $tau_2$)} denotes the object denoted by $tau_1$ raised to the power the object denoted by $tau_2$.}