Category:I2(12)×A1 symmetry