There was no computer involved when publishing at the time. It certainly just took time and money for a professional typesetter to painstakingly set symbol afte

There was no computer involved when publishing at the time. It certainly just took time and money for a professional typesetter to painstakingly set symbol after symbol on his manual typesetting machine.