JUMPER (3)

Jump″er, n. A thing that jumps; esp., any of various tools or other contrivances operating with a jumping motion; as, (Mining, Quarrying, etc.), an instrument for boring holes in rocks by percussion without hammering, consisting of a bar of iron with a chisel-edged steel tip at one or both ends, operated by striking it against the rock, turning it slightly with each blow.