A binary operator representing normal subgroups or left semi-direct products in group theory and abstract algebra.
