# ⋊ U+22CA RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT