change rightarrow in auctex