https://wikimass.com/html/entities/left-normal-factor-semidirect-product