doc_tex