A binary operator representing a semidirect product or crossed product, commonly used in group theory and algebra.
