add semantic-highlight
grep and tex variant