Different coloring of keywords if followed by numbers without space, e.g. \times and \times10

[jlelong]

Originally posted by @pazner in James-Yu/LaTeX-Workshop#3711

The word "times" in both \times and \times10 should be colored the same.