Your mail reminds me to finish my animation module which makes it simpler

to generate such animations, e.g. the above can be written as

\startanimation

{1}

{2}

\stopanimation

and all the necessary symbols etc. are generated by the environment.

It is great. Should I include some module? Where can I find it?