# Software to make math substitution animations

I'd like to make some animations for a presentation showing math function-like substitutions. For example, given

f(x) = x + x


and

f(2)


the animation would show starting with both, then 2 being substituted for x in x + x, and the result of that replacing f(2), with the various items sliding around the screen so you can see the substitution happening visually.

What I really need is to show substitution for lambda calculus expressions, like (\x.x) (\x.x), which is very similar, so if there's software tailored for that, even better.

• This depends on the presentation software (e.g. PowerPoint, LaTeX Beamer/PDF) you will be using. Second question: Do you need a real animation or is simply appearing/disappearing of the objects sufficient? Aug 6, 2015 at 6:16
• I'm interested in any solution. I can use whatever it takes. I need a real animation, although I imagine stuff might disappear in the animation after substitution. Aug 7, 2015 at 6:47