abbrev defs