XML-escape TeX annotation

@pkra as discussed today