Yeah, the problems there are that the symbols don't have easy to remember names, and that they can't be typed in a normal environment. Multi-character ascii symbols would be a lot more accessible.