Definitions and symbols used in manual