XML-escape TeX annotation