Language-mathematics interface