⊴

Description
Normal subgroup or equal to.