At Hopkins we had a KSR37 which had the big ol’ NEWLINE key and did stuff with the ESC 8 and 9 stuff that nroff spewed directly. It even had a greek box that was well integrated into eqn.

It largely got supplanted with the faster and nicer printing diablo and even that fell to the versatec troff emulators and eventually to things like the Imagen laser printers.

I procured my own Model 37 from the Rocky Flats Nuclear Site surplus department. It had a big sidecar paper tape punch reader.

-Ron