[706] Grabstichel, stählernes, dem Meißel ähnliches Werkzeug, mit verschieden geformter Schneide, zum Gravieren, Ziselieren, Stempelschneiden etc.
Adelung-1793: Grabstichel, der
Brockhaus-1809: Der Grabstichel
Herder-1854: Grabstichel
Lueger-1904: Grabstichel
Meyers-1905: Grabstichel [2] · Grabstichel [1]
Pierer-1857: Grabstichel