Normal Subgroup of or Equal To Symbol ⊴