《旧唐书》：剑州剑门县界大剑山，即梁山也，其北三十里有小剑山。大剑山有阁道三十里。《一统志》：大剑山，在保宁府剑州北二十五里，蜀所恃为外户。其山峭壁中断，两崖相嶔，如门之辟，如剑之植，故又名剑门山。张孟阳《剑阁铭》：“惟蜀之门，作固作镇，是曰剑阁，壁立千伊。”
