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