converted to tex doc.