Nomenclature: list of symbols used