山从开辟以来有，关是王公设险名。直上剑门千万仞，中开门阙数重城。