Zeng, Xingwen (dian zi ji shu)