converting to Tex