Heck, I think that Dijkstra invented his own notation for numbers for a presentation/teaching system that he was developing. (I can't find any references to it - I'm desperately hoping that someone else who might have any idea what vague thing I'm alluding to has actually seen it and can link it here)