New preprocessing step: map LaTeX equations to unique token.