Tex formating improvements