Yes. Texis can even pass the appropriate information to Adobe Acrobat to perform the highlighting within a PDF document.