Updated symbols and corrected minor typos.