U+22EC NOT NORMAL SUBGROUP OF OR EQUAL TO