Definify.com

Definition 2024

⋉

⋉

⋉	U+22C9, ⋉ (LaTeX: `\ltimes`) LEFT NORMAL FACTOR SEMIDIRECT PRODUCT

← ⋈
[U+22C8]

Mathematical Operators

⋊ →
[U+22CA]

Translingual

Symbol

⋉

(algebra) left semijoin
(algebra) semidirect product

Related terms

⋊