元人,字彦升,号石泉先生。

善诗文。

有《石泉集》。