Unicode Mathematical Operators

⋉

U+22C9

0x22C9

LEFT NORMAL FACTOR SEMIDIRECT PRODUCT

left normal factor semidirect product