Category:I2(7)×A1 symmetry