Unicode Mathematical Operators ⋊ U+22CA 0x22CA RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT right normal factor semidirect product page:278