Does Not Contain As Normal Subgroup Symbol ⋫