changed highlighting to tex