a : b
Corresponds to the term for interaction between variables a and b.

a * b
Corresponds to a + b + a:b

Really counterintuitive. I worry that I messed up my previous analysis by not realizing this point of syntax sooner.