Abbreviations and symbols used in the dictionary.