Identifiers for sorts, operations, predicates, and variables are generally displayed with letters in italic: f, x, Very_Long_Identifier. Non-letter characters in identifiers are displayed as faithfully as practically possible.
Names for specifications, views, and libraries are generally displayed with the letters in the SMALL-CAPS font.
Names for units are displayed in the same way as variables.