Title: Allen's Dictionary of Abbreviations and Symbols