It would be very tricky to make a computer understand what a TeX equation actually means in general, rather than just know how to typeset it. e.g. f(d) = \i

It would be very tricky to make a computer understand what a TeX equation actually means in general, rather than just know how to typeset it. e.g. f(d) = \int_0^1 g(y) d y dy (Meaning integral of (g(y)dy) w.r.t. y)