A binary operator representing the left semidirect product of algebraic structures, especially common in group theory.
