辞海

释义：yán zhèng
1.汉隐士严君平﹑郑子真的并称。