antrotome
/ænˈtroʊtoʊm/Definitions
1. noun
A person or instrument used for cutting or excavating trenches or other openings in the earth, particularly in mines or quarries.
“The mining company used an antrotome to create a new tunnel for the extraction process.”