这不是石匠们用那种篆刀么！用来在石头上凿字儿的！