Tex extension added to document.