abbrev

Common abbreviation for `abbreviation'.

---