New on CTAN: eqexpl