jackhammer n. A hammer having a strong steel cutting blade, driven by compressed air in multiple rapid strokes, and used for cutting through pavement, concrete, or other hard substances.
... a parka and zipped it up and went out onto the deck. Everybody who wasn't needed at engines or controls was there, and equipment was coming up from below—power saws and sonocutters and even a solenoid jackhammer. There were half a dozen floodlights, on small contragravity lifters; they were run up on lines fifty feet above the ship's deck. By this time it was completely dark and fine snow was blowing. I could see that Joe Kivelson was anxious to get the cutting-up finished ... — Four-Day Planet • Henry Beam Piper
...
