Category:R4 symmetry