expt is the binary operator. The meaning is the same as LISP expt.Eg: (Q+ (Term-12 current) (Term-13 current) (Term-14 current)).
and also:
{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$.}