https://www.52unicode.com/right-normal-factor-semidirect-product-unicode