New on CTAN: smart-eqn