The future
Mathematics will be as easy to manipulate as text: searching, cut & paste, databases.
Gluing together mathematical tools will be as easy as text-based tools.
Humans will spend less of their time manually parsing LaTeX, programs, linearised maths in comments etc.