Syntax for the relational product (->) operator

The "->" operator is a relational product.

"The product p->q of two relations p and q is the relation you get by taking every combination of a tuple from p and a tuple from q and concatenating them. In other words, it's like join, but without the matching and dropping of the intermediate atom."