| `x + x` | [add](expansion.add.ipynb) | Sum (disjunction) |
| `x * weight` | [rweight](expansion.rweight.ipynb) | Right scalar product |
| `weight * x` | [lweight](expansion.lweight.ipynb) | Left scalar product |
| `x & x` | [conjunction](expansion.conjunction.ipynb) | Conjunction (synchronized product) |
| `~x` | [complement](expansion.complement.ipynb) | Complement |
| `x | x` | [tuple](expansion.tuple.ipynb) | Tuple (Cartesian product) |