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
edit