denotation of symbols