Tangle type multiplication rules.