I know someone who was involved in creating a language called A+. It was invented at Morgan Stanley where they used Sun keyboards and had access to many symbols, so the language did have set symbols, math symbols, logic symbols etc. Here's a keyboard map including the language's symbols (the red characters). http://www.aplusdev.org/keyboard.html
I have no idea if this language is still in use. -- http://mail.python.org/mailman/listinfo/python-list
