《左传・襄公十六年》：「速遂塞海陉而还。」
杜预注：「海陉，鲁隘道。」
杨伯峻注：「所谓海陉者，以隘道有水耳。」
宋程大昌《北边备对・居庸关》：「太行山南自河阳 怀县迤逦北出，直至燕北，无有间断者也……皆陡峻不可登越，独有八处粗通微径，名之曰陉，居庸关也即其最北之第八陉也。」
清 恽敬《西楚都彭城论》：「包南山之塞，窒栈道之陉。」