Suppose I have two ordered pairs $(a_1, b_1)$ and $(a_2, b_2)$, each of type $A \times B$
I want to combine them into a single pair of type $A^2 \times B^2$:
$(a_1,b_1)$ OP $(a_2,b_2)$ = $( (a_1,a_2), (b_1,b_2) )$
Is there a name for this operation, or a standard operator? Someone suggested $\triangle$, but I've only ever seen that used for the Laplacian. It's called "zip" in functional programming.