let
expt n =
Sym
.
Pp
(
Sym
.
Expt
(n))