further tweaks to the group operation symbol