There were typewriters with math symbols: https://www.mrmrsvintagetypewriters.com/products/hermes-3000-green-typewriter-working-math-symbols https://www.mrmrsv

There were typewriters with math symbols: https://www.mrmrsvintagetypewriters.com/products/hermes-3000-green-typewriter-working-math-symbols 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.