Refactor to avoid repeating the mapping between 'symbol and "abbrev"