DOC: abbreviations.