semantics of symbols