Aihuxi.135 net.misc utzoo!decvax!duke!harpo!ihnss!ihuxi!otto Wed May 5 23:33:59 1982 On the spelling of Go?del By the way, the correct way to spell the great mathematician's name is not Go:del but rather Goedel . The umlauted 'o' is to be written 'oe' on typewriters without an umlaut. Similarly 'ae' is used for umluated 'a' and 'ue' is used for umlauted 'u'. On old German signs one can often see that instead of an umlaut over o's, a's, etc., there was instead a small 'e' written. Moving that 'e' after the letter to be umlauted (when no umlaut is available) is simply revealing this letter once again. George Otto Bell Labs, Indian Hill ihnss!ihuxi!otto ----------------