I found it. In EWD1000 Dijkstra mentions the typewriter he apparently used for the bulk of his manuscripts until he started mostly handwriting them around 1979:
By the time I went to the Technological University of Eindhoven —Sept. 1962— I was an expert typist. Asked whether I had any special wishes —in those days new professors were supposed to have special wishes— I shocked my future colleagues by asking an electric Hermes Ambassador with the Techno Elite type fount and special characters according to my specifications.
The type samples I've found for Hermes Techno Elite don't have the same numerals as his typewriter. Presumably those were taken from another font as part of his customization. Possibly Hermes Elite since it's the only 12 pitch font in the sample with a "4" extending below the baseline.
He also mentions than an earlier Hermes Media typewriter with the Techno font that had a full set of brackets and braces:
I then allowed myself the luxury of a portable typewriter, which I still have. [It had square brackets.] {It had braces too.} I could also type -> and => . In early 1960 I used it for, say, a dozen EWD's...