What is the difference between symbol recognition, classification and identification?
The way I've seen it used classification divides a data set into different groups (or classes), while symbol recognition means looking for a specific pattern and checking if it is present in the data or not.

If I understand correctly, what you are talking about is optical character recognition but instead of matching the symbol to an ASCII/unicode value you match it to a LATEX symbol. I think that this could be called both symbol recognition and identification.