[comp.text] how to get ^ by itself in math mode ?

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

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

the above convolution yield a lambda and above it a ^.

"but, i wanted ^ all by itself and only after it the lambda", yells the
author.... is there avail?

Danke Shein
gill