old name of indicator for workers in coal mines