⋉

⋉ U+22C9, ⋉ LEFT NORMAL FACTOR SEMIDIRECT PRODUCT ← ⋈ [U+22C8] Mathematical Operators ⋊ → [U+22CA]

Translingual

Symbol

⋉

1. (algebra) left semijoin
2. (algebra) semidirect product

Related terms

• ⋊