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.
[CHANGED:] Names for specifications, views, and libraries are displayed with the letters in the Small-Caps font when available, and otherwise in ordinary upper and lower case. [] Names for units are displayed in the same way as variables.