⊲

Symbol

 * 1)  normal subgroup