20090510 unknown: How did the symbols +; - etc originate?