Tex source added