Category:R3+×A1 symmetry