better latex highlighting