1. A hand shovel carried by infantrymen for digging trenches
   "The soldiers used their entrenching tools to quickly create defensive positions";
   - trenching spade

Derived forms: entrenching tools

Type of: hand shovel

Encyclopedia: Entrenching tool