「砻」说文解字

(礱)䃺也。下文云：䃺者，石磑也。此云䃺也者，其引伸之義，謂以石䃺物曰礱也。今俗謂磨穀取米曰礱。从石龍聲。盧紅切。九部。天子之桷，椓而礱之。椓當依類篇所引作斲。穀梁傳、晉語、尚書大傳、公羊何注皆作斲。可證。尚書大傳曰：桷，天子斲其材而礱之，加密石焉。大夫達菱，士首本，庶人到加。鄭云：礱，礪之也。密石，砥之也。菱，棱也。按棱者，謂斲其通體成棱。首本者，斲其首也。韋注晉語亦云：先粗礱之，加以密砥，是可證厲，厎之分?細矣。