Category:F4×A1 symmetry