Let V (Λ i ) (resp., V (−Λ j )) be a fundamental integrable highest (resp., lowest) weight module of U q ( sl 2 ). The tensor productm is mapped to a certain space of sequences (P n,l ) n≥0,n≡i−j mod 2,n−2l=m , whose members P n,l = P n,l (X 1 , . . . , X l |z 1 , . . . , z n ) are symmetric polynomials in X a and symmetric Laurent polynomials in z k , with additional constraints. When the parameter q is specialized to √ −1, this construction settles a conjecture which arose in the study of form factors in integrable field theory.