⊳

Description
Contains as normal subgroup.