Animate your maths

Write a derivation the way you would write it out: one line at a time. Each line becomes a step, and the change between two steps is animated for you: the symbols they share travel to their new places while the rest fades.