⊵

Description
Contains as normal subgroup or equal to.