let
mult =
Sym
.
Pp
(
Sym
.
Mult
)