trademark a keyboard-operated typesetting machine that casts and sets metal type in separate characters