Manual titles and product names in the manual are abbreviated.
This section explains the notational conventions for abbreviations and platform-specific information in the manuals.