Right Angle Right Normal Factor Semidirect Product

• 右正规因子半直积右方括号