diff --git a/doc/crypt.tex b/doc/crypt.tex
index 51b36b6..dbe67e8 100644
--- a/doc/crypt.tex
+++ b/doc/crypt.tex
@@ -31,7 +31,6 @@
 \def\And{{\rm\ and\ }}
 \def\iff{\hspace{1em}\Longleftrightarrow\hspace{1em}}
 \def\implies{\Rightarrow}
-\def\undefined{{\rm \textit{undefined}}}
 \def\Proof{\vspace{1ex}\noindent {\bf Proof:}\hspace{1em}}
 \let\oldphi\phi
 \def\phi{\varphi}