Extracted a separate layer for Auctex