Definition talk:Direct Product of Group Homomorphisms

Is this really how it is denoted in the source? More common is $\left\langle{f_1, f_2}\right\rangle$, while $f_1 \times f_2$ would be associated to $G \times G \to H_1 \times H_2$. See Definition:Product of Morphisms and Definition:Binary Product (Category Theory). --Lord_Farin (talk) 11:20, 8 February 2013 (UTC)