“abbr” is another name for Abbreviation.