add auctex defsadd auctex defs #60