remove duplicate LaTeX symbols (font variations) ... fortunately, it looks like the most reasonable choice is listed first in the unicode.xml file