POS tagger for TeX texts  based on the stanford tagger