Tex revised