New on CTAN: mathformule