It could be a ⇨ and it would be the same as JSON because it is still a single symbol used as a separator.

Nah, that's a Ruby Hash...