Unused tokens?

[nicuveo]

Out of sheer curiosity: the definition of tokens contains two tokens that, AFAICT, are not accepted by the lexer and therefore not used by anything: the power token ^, and the arrow token <-. Are those reserved for future use? Are they meant to be allowed in attributes even if nothing in the language uses them?

Thanks in advance!