--- a/src/Doc/Nitpick/document/root.tex Sat May 23 22:13:24 2015 +0200
+++ b/src/Doc/Nitpick/document/root.tex Mon May 25 22:11:43 2015 +0200
@@ -27,7 +27,8 @@
\def\lparr{\mathopen{(\mkern-4mu\mid}}
\def\rparr{\mathclose{\mid\mkern-4mu)}}
-\def\unk{{?}}
+%\def\unk{{?}}
+\def\unk{{\_}}
\def\unkef{(\lambda x.\; \unk)}
\def\undef{(\lambda x.\; \_)}
%\def\unr{\textit{others}}
@@ -931,7 +932,7 @@
\hbox{}\qquad Free variable: \nopagebreak \\
\hbox{}\qquad\qquad $n = 1$ \\
\hbox{}\qquad Constants: \nopagebreak \\
-\hbox{}\qquad\qquad $\textit{even} = (λx. ?)(0 := True, 1 := False, 2 := True, 3 := False)$ \\
+\hbox{}\qquad\qquad $\textit{even} = \unkef(0 := True, 1 := False, 2 := True, 3 := False)$ \\
\hbox{}\qquad\qquad $\textit{odd}_{\textsl{base}} = {}$ \\
\hbox{}\qquad\qquad\quad $\unkef(0 := \textit{False},\, 1 := \textit{True},\, 2 := \textit{False},\, 3 := \textit{False})$ \\
\hbox{}\qquad\qquad $\textit{odd}_{\textsl{step}} = \unkef$\\