蜀王本纪

李冰以秦时为蜀守，

谓汶山为天彭阙，

号曰天彭门。

云亡者悉过其中，

鬼神精灵数见。