rem auctex