\begin{thenameindex} \item Knuth, Donald E., 1 \indexspace \item Lamport, Leslie, 1 \end{thenameindex}