New on CTAN: shortmathj