New on CTAN: eq2db