The operator : specifies an interaction effect that is, in the default contrast coding, essentially the product of a dummy variable and a further variable (possibly also a dummy). The operator * does the same but also inludes the corresponding main effects. The same is done by /, but it uses a nested coding instead of the interaction coding. Finally, ^ can be used to include all interactions up to a certain order within a group of variables.