Which is a synonym of “abbreviation”?