[comp.text] ^ and lambda

gefuchs@herbrand.uucp (Gill E. Fuchs) (05/06/89)

there is the answer...

\begin{enumerate}
  \item[T1b.\ ] {\bf be} $\Rightarrow \lambda{\cal P}\lambda x[{\cal P}\{^{\wedge}\lambda y[x = y]\}]$.
\end{enumerate}