Symbols can be different things.