U+22C9, ⋉
LEFT NORMAL FACTOR SEMIDIRECT PRODUCT

[U+22C8]
Mathematical Operators
[U+22CA]

Translingual edit

Symbol edit

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

Related terms edit