New on CTAN: mathbb-one