finished tex document