⋉ — LEFT NORMAL FACTOR SEMIDIRECT PRODUCT (U+22C9)