add HXSJ.dtx