Polynomial generalization of the regularization theorem for multiple zeta values

Ihara, Kaneko, and Zagier defined two regularizations of multiple zeta values and proved the regularization theorem that describes the relation between those regularizations. We show that the regularization theorem can be generalized to polynomials whose coefficients are regularizations of multiple zeta values and that specialize to symmetric multiple zeta values defined by Kaneko and Zagier.