fix up/downarrow input in auctex