《水经注·卷十二》
圣水又往东南流经阳乡县城西面，并不经过城北：阳乡县，原是旧时琢县的阳亭。
圣水又东南径阳乡城西，不径其北矣。县，故涿之阳亭也。
Shengshui flows southeast again through west of Yangxiang County's county seat but does not pass through the north of the county: Yangxiang County was originally the Yangting of the former Zhaoxian County.