Link to the paper at NASA's NTRS:
https://www.duxburysystems.org/downloads/library/texas/apple...
https://mathoverflow.net/questions/19930/writing-papers-in-p...
[𝛼] https://www.duxburysystems.org/downloads/library/texas/apple...
I found a Math Overflow thread full of stories about this: https://mathoverflow.net/questions/19930/writing-papers-in-p...
And see page 7 of this for pictures: https://etconline.org/backissues/ETC099.pdf
Also, a TYPIT advertisement on the bottom left of the third page of https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6500767
https://www.mrmrsvintagetypewriters.com/products/hermes-3000...
Notably, Dijkstra used a modified Hermes with a mixture of different type bars to get the output he wanted in his earlier EWDs.