There's actually discussion about symbols in the comments of the PR. But we all felt it would be better in a separate BIP. I personally like satsymbol.com