# ⋉ U+22C9 LEFT NORMAL FACTOR SEMIDIRECT PRODUCT