auto-complete-auctex recipe