Use <> for the semigroup operation