`exp + exp` | [sum](expression.sum.ipynb) | Sum (disjunction) |
`exp * weight` | [right_mult](expression.right_mult.ipynb) | Right scalar product |
`weight * exp` | [left_mult](expression.left_mult.ipynb) | Left scalar product |
`~exp` | [complement](expression.complement.ipynb) | Complement |
`exp & exp` | [conjunction](expression.conjunction.ipynb) | Conjunction (synchronized product) |
`exp & num` | [conjunction](expression.conjunction.ipynb) | Repeated conjunction |
`exp % exp` | [difference](expression.difference.ipynb) | Set difference |
`exp * exp` | [multiply](expression.multiply.ipynb) | Product (concatenation) |
`exp ** num` | [multiply](expression.multiply.ipynb) | Repeated multiplication |
`exp ** (min, max)` |
`exp | exp` | [tuple](expression.tuple.ipynb) | Tuple (Cartesian product) |