key symbols definitions