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