`x + x` | [sum](expansion.sum.ipynb) | Sum (disjunction) |
`x * weight` | [right_mult](expansion.right_mult.ipynb) | Right scalar product |
`weight * x` | [left_mult](expansion.left_mult.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) |