Abbreviations used in the index