AUCTeX (was: Re xsymbol included in the SUMO tar ball)