Text this: Discovering higher mathematics