Category:F4+×2 symmetry