* : The lexicographic product.
/ : The interleaved product.
% : The cartesian product.
^ : The Pareto product.
. : The take-one product. The difference to the lexicographic product is that only one co-optimal result is chosen in the case of co-optimal results.
| : The overlay product. With !A | B!, $A$ is used in the forward computation and $B$ is used during backtracing.