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