Add auctex for math lecture notes