[math-fun] What's this operation called?