Describir: The grammar of mathematics