coalcutter

noun1

1. •
   A device for cutting coal out of the rock face in a coal mine.

   • One was to a coalcutterman who was caught and mutilated by the coalcutter picks whilst the jib was being withdrawn from under the coal. — 1949