users can type ? to see a menu such asThe following sets of suggestions will allow the equation to be oriented into a rewrite rule: Direction Suggestions --------- ----------- 1. -> a > b 2. <- b > a What do you want to do with the formula?
of possible responses, which have the following effects.Enter one of the following, or type < ret > to exit. accept[1..2] interrupt left-to-right postpone suggestions divide kill ordering right-to-left