The GF Mathematical Grammar Library: from OpenMath to natural languages | Publicación