| `exp + exp` | [add](expression.add.ipynb) | Sum (disjunction) |
| `exp * weight` | [rweight](expression.rweight.ipynb) | Right scalar product |
| `weight * exp` | [lweight](expression.lweight.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` | [ldivide](expression.rdivide.ipynb) | Left division |
| `exp / exp` | [rdivide](expression.rdivide.ipynb) | Right division |
| `exp | exp` | [tuple](expression.tuple.ipynb) | Tuple (Cartesian product) |
| `exp @ exp` | [compose](expression.compose.ipynb) | Composition |