yes, JSON keys can be any unicode character.