蜀王本纪

县前有两石，

对如阙，

号曰彭门。