Were there red and blue pencils in 1940

Red and blue pencils have been around since the late 1800s and early 1900s

They were already common in China in the 1940s.

?

For example, during the Yan'an period, Mao Zedong used red and blue pencils to approve documents and telegrams