Category:B4×A1 symmetry