U+22C9 "⋉" Left Normal Factor Semidirect Product Unicode Character

U+22C9 "⋉" Left Normal Factor Semidirect Product is a mathematical symbol used primarily in group theory to denote a semidirect product, specifically indicating that the left-hand factor is a normal subgroup of the resulting product. In a semidirect product, the symbol is placed between two groups, such as N ⋉ H, where N is normal, and the operation combines the groups in a way that the action of H on N is explicitly defined, distinguishing it from a direct product. This notation is common in algebra and abstract mathematics, where it helps concisely represent complex group structures and their decomposition.