batting tool

batting tool

[′bad·iŋ ‚tül]
(engineering)
A mason's chisel usually 3-4½ inches (7.6-11.4 centimeters) wide, used to dress stone to a striated surface.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.

batting tool

A mason’s chisel usually 3 to 41/2 in. (7.6 to 11.4 cm) wide, used to dress stone to a striated surface. See batted work.
McGraw-Hill Dictionary of Architecture and Construction. Copyright © 2003 by McGraw-Hill Companies, Inc.