RTPRODUCT
RTPRODUCT(x;y)
forms the right transposed product of
x
and
y
(that is
x *+ TRANSPOSE(y))
.