Symbols revisited