From memory, they are used with DEC's typesetting system (DECset) They were commonly used by newspapers.