the duo sketched out nine symbols, each of which indicates a function not easily describable with existing notation. Cook is applying the signs in a book on the Halting Problem and plans to submit ...