Unicode Mathematical Operators ⋬ U+22EC 0x22EC NOT NORMAL SUBGROUP OF OR EQUAL TO not normal subgroup of or equal to page:279