Category:BC3×A1 symmetry