Switched to auto-complete-auctex instead of ac-math. Also cleaned up a
bunch of comments.