Eksempler på abbreviation

• At this point it will be convenient to introduce some abbreviations to save space in diagrams.

• See table 1 for abbreviations of names of populations.

• The language extends simple arithmetic (with addition, subtraction, multiplication and division) by adding user-definable constants (abbreviations) and user-definable unary functions.

• The ring is dated on artistic grounds, a dating supported by the script and the large quantity of abbreviation used.

• It is nondeterministic in the backward direction; multiple word sequences may yield the same abbreviation.

• Other examples include the common practice of eliminating vowels in creating abbreviations or program identifiers.

• The section ends with a brief note on etymology, including one or two pointers to etymological abbreviations and conventions found in dictionaries.

• Type abbreviations can help simplify the presentation of concrete types, but abstract encodings require type variables and those variables need to appear in the interface.