symmetric-normalization-of-a-produoidal