Start using AUCTex