Optical character recognition to turn images of latex equations into latex format.