I'm a dummy: those are called symbols, not identifiers.