“abbr element” is another name for Abbreviation.