\input amstex

$$C\in\pmb{\hbox{N}}\land x=-1-W_C\Bigl(-\frac1e\Bigr)$$
\bye