Text this: Towards semantic search for mathematical notation