PRODUCT
PRODUCT(x;y)
forms the matrix product of
x
and
y
(that is
x *+ y
).