powered by
This is a function that allows the user to highlight the mistakes, in particular the redundancies in the right-hand side of the expression.
add_right(expr)
expr , e.g., highlights + b from a + b
expression