Apparently this is called a ruling pen: https://en.m.wikipedia.org/wiki/Ruling_pen
@paul Yeah, my father has some of these from when he was a draughtsperson.
@futzle well I may have accidentally dated myself. I am... not your father's age.
@paul Yeah, my father has some of these from when he was a draughtsperson.