1An abbreviation can be any string of between two and seven capital letters and digits, beginning with a letter. See Section 2.2.5 on page 145 for more information.