I desire to "highlight" in equational proofs the expressions that are substituted for or transformed in each successive step. Since an expression may be transformed in both the prior step and the next step, it could need possibly two highlights in the same equation.
For a simple example see my answer here, on a universal divisibility test. There I'd like to highlight the leading digits being replaced in each step. My first thought was to use a colored under/overline, but I don't know how to color just the overline and not the expression . I can't color the expression too since it may have a different colored overline and underline if it was changed from both the prior and next equation.
Alternatively, I'd be grateful for suggestions on alternative approaches to achieve such highlighting.