Fix typo in 70_Symbol_synonyms