同“ 郑履 ”。 明 李东阳 《弘治己酉十月恭陪茂陵禫祭途次次韵答谢方石赠别》：“ 郑公 听履星俱下， 列子 乘风气可骑。”