《九章算术·商功》：“今有羡除。”

刘徽 注：“羡除，隧道也。其所穿地，上平下邪。”