[823]Der Grubentschêrper, des -s, plur. ut nom. sing. eben daselbst, ein großer Messer, welches die Bergleute neben der Grubentasche führen, und in der Grube gebrauchen. Siehe Tscherper.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 2. Leipzig 1796, S. 823.