Title: a dictionary of abbreviations