abbreviation of identifiers